Apple
Mac
iPad
iPhone
Support
Where to Buy
Apple Books
Preview
David Monniaux
Books
Verification, Model Checking, and Abstract Interpretation
2017
