MARTENA, VINCENZO
MARTENA, VINCENZO
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autori | File |
---|---|---|---|
Alias Analysis by means of a Model Checker | 1-gen-2001 | MARTENA, VINCENZOSAN PIETRO, PIERLUIGI | |
Enhancing Remote Method Invocation through Type-Based Static Analysis | 1-gen-2004 | GHEZZI, CARLOMARTENA, VINCENZOPICCO, GIAN PIETRO |