Formal Methods: Foundations and Applications More Books Like This
Fundamentals of Software Engineering
2010
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Software Engineering and Formal Methods
2021
Formal Techniques for Distributed Systems
2011
Theoretical Aspects of Software Engineering
2022
Formal Techniques for Distributed Systems
2009
Integrated Formal Methods
2009
Models, Algorithms, Logics and Tools
2017
Formal Aspects of Component Software
2021
Dependable Software Engineering. Theories, Tools, and Applications
2017
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Aspects of Component Software
2016
Formal Methods: Foundations and Applications
2017
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020