Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings Dubois Catherine Heftet / 2009 / Engelsk
Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings Dubois Catherine Heftet / 2018 / Engelsk
Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings Dubois Catherine Heftet / 2023 / Engelsk
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings Dubois Catherine Heftet / 2023 / Engelsk
