Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Verifying cross-cutting features as open systems
ACM SIGSOFT Software Engineering Notes
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Hi-index | 0.00 |