Fabio Merli

According to our database, Fabio Merli authored at least 1 paper in 2013.

Collaborative distances:

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

2013

System Level Formal Verification via Model Checking Driven Simulation.

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci

Proceedings of the Computer Aided Verification - 25th International Conference, 2013