RV2024: RUNTIME VERIFICATION 2024
Masaki Waga
Affiliation: Kyoto University
Web page: http://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
Pages in this Program
Program
Program for Tuesday, October 15th