Search results for: Giorgio Delzanno
Fundamenta Informaticae > 2021 > Vol. 178, nr 4 > 347--378
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 173-187
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Implementation Techniques > 435-449
Lecture Notes in Computer Science > A 25-Year Perspective on Logic Programming > Twenty-Five Years of Logic Programming in Italy > 136-158
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Systems > 342-356
Lecture Notes in Computer Science > Cellular Automata > 745-754
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 415-429
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 5: Verification > 256-270
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State and Parametric Systems > 221-235
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 286-301