Chun Tian
University of Trento
Automated verification of critical systems
Advisor: Alessandro Cimatti
Contacts