| |
| 2006 | ||
|---|---|---|
| 2 | EE | Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro: WAVer: A Model Checking-based Tool to Verify Web Application Design. Electr. Notes Theor. Comput. Sci. 157(1): 61-76 (2006) |
| 2005 | ||
| 1 | EE | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia: Design Verification of Web Applications Using Symbolic Model Checking. ICWE 2005: 69-74 |
| 1 | Francesco M. Donini | [1] |
| 2 | Marina Mongiello | [1] [2] |
| 3 | Michele Ruta | [2] |
| 4 | Eugenio Di Sciascio | [1] |
| 5 | Rodolfo Totaro | [1] [2] |