Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Martin Leucker
Books
Formal Methods
2023
Formal Methods in Outer Space
2021
Runtime Verification
2018
Theoretical Aspects of Computing - ICTAC 2015
2015
Formal Methods: Applications and Technology
2007
Runtime Verification
2008