Search results
Formal Methods in System Design > 2018 > 52 > 2 > 147-192
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 349-366
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 1. Invited Papers > 62-80
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 349-366
Science of Computer Programming > 2010 > 75 > 10 > 879-897
Science China Information Sciences > 2006 > 49 > 6 > 864-884