AVM25: 17TH ALPINE VERIFICATION MEETING
Adrian Rebola Pardo
Affiliation: Vienna University of Technology, Johannes Kepler Universität Linz
Web page: http://logic-cs.at/phd/students/adrian-rebola-pardo/
Pages in this Program
Program
Program for Friday, September 26th