Maurizio TUCCI | Pubblicazioni
Maurizio TUCCI Pubblicazioni
| 2009 | |
| Contributo in Atti di convegno | |
| Developing Usable Web Interfaces with the Aid of Automatic Verification of their Formal Specification. In: Proceedings of the VI ITAIS Conference Pag.61-68 | |
| ITAIS 2009 Costa Smeralda 2-3 ottobre 2009 | |
| Cassino, Rosanna; Tucci, Maurizio | |
| Codice identificativo ISI: WOS:000289587200003 | |
| Visualizza sul Database dei Prodotti (IRIS) |
