Luca Dorigo
University of Udine
Integration formal verification and testing for parametric software product lines
Advisor: Alessandro Cimatti
Contacts