CAV2024: 36TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
Matthias Althoff
Affiliation: Technical University of Munich
Web page: https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff/
Pages in this Program
Program
Program for Saturday, July 27th