RANZATO, FRANCESCO

RANZATO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Local Completeness in Abstract Interpretation 2023 Ranzato, Francesco + - INTELLIGENT SYSTEMS REFERENCE LIBRARY Challenges of Software Verification
Preface SAS 2017 2017 RANZATO, FRANCESCO - - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Static analysis, abstract interpretation and verification in (constraint logic) programming 2010 RANZATO, FRANCESCO + - - A 25-Year Perspective onf Logic Programming