Interactive Theorem ProvingSandrine Blazy

Interactive Theorem Proving

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie · 2013

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2013
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783642396342

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

Static AnalysisSandrine Blazy

Static Analysis

Sandrine Blazy · 2015