Formal Methods for Software Engineering More Books Like This
FM 2008: Formal Methods
2008
Engineering Trustworthy Software Systems
2020
Formal Methods: Foundations and Applications
2011
Engineering Trustworthy Software Systems
2017
Programming Languages with Applications to Biology and Security
2015
Formal Methods and Software Engineering
2008
FM 2011: Formal Methods
2011
Formal Methods: Foundations and Applications
2016
Software Engineering and Formal Methods
2011
Formal Methods: Foundations and Applications
2018
Abstract State Machines, B and Z
2008
Formal Methods: Foundations and Applications
2016
Concurrency, Compositionality, and Correctness
2010
Formal Methods and Hybrid Real-Time Systems
2007
Trustworthy Global Computing
2016