Concise Guide to Formal Methods More Books Like This
Mathematical Approaches to Software Quality
2006
FM 2008: Formal Methods
2008
Engineering Trustworthy Software Systems
2020
Engineering Trustworthy Software Systems
2017
Formal Methods: Foundations and Applications
2011
Formal Methods and Software Engineering
2008
Formal Methods: Foundations and Applications
2016
Structured Object-Oriented Formal Language and Method
2014
Formal Methods: Foundations and Applications
2009
Tests and Proofs
2008
FM 2011: Formal Methods
2011
Software Engineering and Formal Methods
2011
Formal Methods and Software Engineering
2019
Provably Correct Systems
2017
Perspectives of Systems Informatics
2010