Registered user since Fri 9 Nov 2018
Name:Marcello Bersani
Affiliation:Politecnico di Milano, Italy
Contributions
| FormaliSE 2021 | Improved Bounded Model Checking of Timed Automata | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile