Verified Software: Theories, Tools and Experiments More Books by Dimitra Giannakopoulou & Daniel Kroening

NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2020
Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
2011