Anna Becchi
University of Trento
Formal verification of complex cyberphysical systems
Advisor: Alessandro Cimatti
Contacts