Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
2026
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2016