GIACOBAZZI, ROBERTO
GIACOBAZZI, ROBERTO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
A²I: abstract² interpretation | 2019 | COUSOT, PATRICK MARCEL PAUL MAURICEGIACOBAZZI, ROBERTORanzato, Francesco | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | - |