Italiano (Italian) English (Inglese)
Thursday, 28 March 2024

Publications

Back
Pubblication Details
Authors:Silvano Chiaradonna
Daniele Codetta Raiteri
Felicita Di Giandomenico
Susanna Donatelli
Giuliana Franceschinis
Marco Gribaudo
Mohamed Kaâniche
Paolo Lollini
Francesco Romani
Jeremy Sproston
Title:List of requirements on formalisms and selection of appropriate tools
Published on:CRUTIAL project, Deliverable D11
Publisher:CESI Ricerca
Year:2008
Tipo Pubblicazione:Other
URL:http://crutial.erse-web...bles%20P2/WP5-D11-final.pdf