Formal Methods: Foundations and Applications More Books Like This
FM 2008: Formal Methods
2008
Formal Methods and Software Engineering
2008
Formal Methods: Foundations and Applications
2016
Software Engineering and Formal Methods
2011
Integrated Formal Methods
2009
Integrated Formal Methods
2007
FM 2011: Formal Methods
2011
Formal Methods and Software Engineering
2015
Software Engineering and Formal Methods
2016
Formal Methods: Foundations and Applications
2009
Formal Verification of Object-Oriented Software
2011
Perspectives of System Informatics
2015
Perspectives of System Informatics
2016
Abstract State Machines, B and Z
2008
Formal Methods: Foundations and Applications
2016