Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings Blanchette Jasmin Christian Heftet / 2015 / Engelsk
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings Blanchette Jasmin Christian Heftet / 2016 / Engelsk
