Rocco Bove

According to our database, Rocco Bove authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Applying Formal Methods in Industry The UseGat Project.

Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard

Proceedings of the Computer Safety, 1998