ATVA 2024: 22ND INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
Jean-François Raskin
Affiliation: Université Libre de Bruxelles (U.L.B.)
Web page: http://www.ulb.ac.be/di/ssd/jfr
Pages in this Program
Program
Program for Tuesday, October 22nd