GANTY, PIERRE ANDRE'
GANTY, PIERRE ANDRE'
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Complete Abstractions for Checking Language Inclusion | 2021 | Ganty, PierreRanzato, Francesco + | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | - |
| Language Inclusion Algorithms as Complete Abstract Interpretations | 2019 | GANTY, PIERRE ANDRE'Ranzato, Francesco + | - | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Proceedings of 26th International Static Analysis Symposium, SAS 2019 |