Jónas Mittún Peltonen
Jónas Mittún Peltonen
Affiliation: Technical University of Denmark
Talks
(Isabelle)
Teaching AutoCorrode in an Automated Reasoning Course · Papers 1b
Pages in this Program
Program
Program on Friday, 24 July 2026
Isabelle on Friday, 24 July 2026
Isabelle Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑