Search results for: Laura Bozzelli
Journal of Automated Reasoning > 2018 > 60 > 2 > 177-220
Theoretical Computer Science > 2016 > 631 > C > 118-138
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 65-79
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 58-72
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 186-200
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 248-259
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 197-211
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 412-426
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 504-518
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 119-135
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking > 282-297
Theoretical Computer Science > 2015 > 603 > Complete > 58-83
Information and Computation > 2014 > 239 > Complete > 303-339
Acta Informatica > 2014 > 51 > 1 > 25-49