Jasmin Christian Blanchette

Jasmin Christian Blanchette

2 books in the database

Books

Interactive Theorem ProvingJasmin Christian Blanchette

Interactive Theorem Proving

Jasmin Christian Blanchette · 2016

Tests and ProofsJasmin Christian Blanchette

Tests and Proofs

Jasmin Christian Blanchette · 2015