Roberto Raggi

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

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