Enrico Pivato

According to our database, Enrico Pivato authored at least 1 paper in 2004.

Collaborative distances:

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

2004

CoPS - Checker of Persistent Security.

Carla Piazza, Enrico Pivato, Sabina Rossi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004