Rocchetto, Marco
Rocchetto, Marco
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Methods and tools for design time and runtime formal analysis of security protocols and web applications | 1-gen-2015 | Rocchetto, Marco |