Mauro Larosa

According to our database, Mauro Larosa authored at least 1 paper in 1997.

Collaborative distances:

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

1997

A Graphic Notation for Formal Specifications of Dynamic Systems.

Gianna Reggio, Mauro Larosa

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997