Abstract State Machines, B and Z More Books Like This
Formal Methods and Software Engineering
2016
Integrated Formal Methods
2016
Formal Methods: Foundations and Applications
2009
Software Engineering and Formal Methods
2011
Formal Methods and Software Engineering
2015
Software Engineering and Formal Methods
2019
Software Engineering and Formal Methods
2016
Formal Methods: Foundations and Applications
2011
Integrated Formal Methods
2018
Formal Methods: Foundations and Applications
2016
Integrated Formal Methods
2017
Formal Methods: Foundations and Applications
2017
Formal Methods: Foundations and Applications
2016
FM 2008: Formal Methods
2008
FM 2011: Formal Methods
2011