Theoretical Aspects of Computing - ICTAC 2015 More Books by Martin Leucker, Camilo Rueda & Frank D. Valencia

Formal Methods Formal Methods
Formal Methods
2023
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
2021
Runtime Verification Runtime Verification
Runtime Verification
2018
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
2007
Runtime Verification Runtime Verification
Runtime Verification
2008