SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
Algebraic Methods in Language Processing, AMiLP 2003
2003-01-01 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05)
2005-01-01 Spoto, Nicola Fausto
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)
2007-01-01 M., Huisman; Spoto, Nicola Fausto
Special track on Software Verification
2008-01-01 Spoto, Nicola Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Algebraic Methods in Language Processing, AMiLP 2003 | 1-gen-2003 | Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt | |
| First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) | 1-gen-2005 | Spoto, Nicola Fausto | |
| Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | 1-gen-2007 | M., Huisman; Spoto, Nicola Fausto | |
| Special track on Software Verification | 1-gen-2008 | Spoto, Nicola Fausto |