Martin Leucker

Livres
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
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
2015
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
2007
Runtime Verification Runtime Verification
Runtime Verification
2008