P. Rovarini

According to our database, P. Rovarini authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification.

Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini

J. Syst. Softw., 2004