Fundamental Approaches to Software Engineering More Books by Dimitra Giannakopoulou & Fernando Orejas

NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2020
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
2014