Ivano Rigo

According to our database, Ivano Rigo authored at least 1 paper in 2006.

Collaborative distances:

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

2006

An Eclipse Plug-in for the Java PathFinder Runtime Verification System.

Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006