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