PETTOROSSI, ALBERTO
PETTOROSSI, ALBERTO
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism | 1-gen-2008 | Pettorossi, A; Proietti, M; Renault, S | |
| Automatic Proofs of Protocols via Program Transformation | 1-gen-2005 | Fioravanti, F.; Pettorossi, A.; Proietti, M. |