| |
| 2008 | ||
|---|---|---|
| 3 | EE | Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474 |
| 2005 | ||
| 2 | Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni: An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1): (2005) | |
| 2004 | ||
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74 | |
| 1 | Antonio Bucchiarone | [3] |
| 2 | Alessandro Fantechi | [3] |
| 3 | Gian Luigi Ferrari (GianLuigi Ferrari) | [1] |
| 4 | Stefania Gnesi | [1] [2] [3] |
| 5 | Giuseppe Lami | [2] [3] |
| 6 | Ugo Montanari | [1] |
| 7 | Roberto Raggi | [1] |
| 8 | Emilio Tuosto | [1] |