Static AnalysisSandrine Blazy
Static Analysis
Sandrine Blazy, Thomas Jensen · 2015
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2015
- Language
- English
- Publisher
- Springer Berlin / Heidelberg
- Editions
- 2
- Pages
- 333
- ISBN
- 9783662482872
Data source: Wikidata
More by Sandrine Blazy
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)Sandrine Blazy
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Sandrine Blazy · 2013
Verified Software. Theories, Tools, and ExperimentsSandrine Blazy
Verified Software. Theories, Tools, and Experiments
Sandrine Blazy · 2016
Interactive Theorem ProvingSandrine Blazy
Interactive Theorem Proving
Sandrine Blazy · 2013