Jasmin Christian Blanchette

No bio available. Add one in Open Library.

Books by Jasmin Christian Blanchette (50 max)

+ shelf+ list

Tests and Proofs 9th International Conference, TAP 2015, Held As Part of STAF 2015, l'Aquila, Italy, July 22-24, 2015. Proceedings

2015

Jasmin Christian Blanchette, Nikolai Kosmatov

+ shelf+ list

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2016

Jasmin Christian Blanchette, Stephan Merz