Search results for: Mario Coppo
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 31-49
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Invited Talks > 1-31
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 135-151
Lecture Notes in Computer Science > Static Analysis > 143-158
Lecture Notes in Computer Science > Theoretical Computer Science > Semantics and Formal Languages > 242-255
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 577-590
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Position Papers > 172-189
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 184-198
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 404-444
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Types and Verification > 255-271
Lecture Notes in Computer Science
Lecture Notes in Computer Science
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 577-590