Michele Valfrè

According to our database, Michele Valfrè authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Static analysis and family-based model checking of featured transition systems with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021