Publications
| 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 |