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
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings Blanchette Jasmin Heftet / 2022 / Engelsk
