Verified Software. Theories, Tools, and ExperimentsSandrine Blazy
Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik · 2016
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
- 2016
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- Pages
- 199
- ISBN
- 9783319488684
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
Static AnalysisSandrine Blazy
Static Analysis
Sandrine Blazy · 2015
Interactive Theorem ProvingSandrine Blazy
Interactive Theorem Proving
Sandrine Blazy · 2013