Login / Signup
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)