| 2004 |
|---|
| 3 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Roberto Raggi,
Gianluca Trentanni,
Emilio Tuosto:
Verication On The Web Of Mobile Systems.
VVEIS 2004: 72-74 |
| 2 | EE | Michael Baldamus,
Jesper Bengtson,
Gian Luigi Ferrari,
Roberto Raggi:
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Electr. Notes Theor. Comput. Sci. 105: 11-20 (2004) |
| 2002 |
|---|
| 1 | EE | Gian Luigi Ferrari,
Ugo Montanari,
Roberto Raggi,
Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit.
FMCO 2002: 319-338 |
