Search results for: Angelo Morzenti
Acta Informatica > 2018 > 55 > 7 > 547-574
Theoretical Computer Science > 2016 > 643 > C > 38-64
Lecture Notes in Computer Science > ESEC '87 > 180-190
Lecture Notes in Computer Science > Temporal Logic > 365-381
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Automatic Proofs and Provers > 326-340
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 388-395
Lecture Notes in Computer Science > ECOOP'91 European Conference on Object-Oriented Programming > 39-58
Journal of Applied Logic > 2014 > 12 > 4 > 522-557
Theoretical Computer Science > 2007 > 376 > 3 > 164-184
Electronic Notes in Theoretical Computer Science > 2005 > 116 > Complete > 227-239
Electronic Notes in Theoretical Computer Science > 2003 > 82 > 6 > 1-12