Roberto Raggi

According to our database, Roberto Raggi authored at least 3 papers between 2002 and 2004.

Collaborative distances:

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

2004

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.

Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Verication On The Web Of Mobile Systems.

Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

2002

From Co-algebraic Specifications to Implementation: The Mihda Toolkit.

Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto

Proceedings of the Formal Methods for Components and Objects, 2002