RANZATO, FRANCESCO

RANZATO, FRANCESCO  

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
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