Search results for: Marjan Sirjani
Science of Computer Programming > 2018 > 153 > C > 1-29
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 547-561
Science of Computer Programming > 2016 > 128 > C > 22-50
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Actors and Programming Languages > 20-56
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 478-493
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Program Verification > 102-126
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 113-128
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 292-307
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Computer Languages, Systems & Structures > 2016 > 45 > C > 53-79
Acta Informatica > 2017 > 54 > 4 > 343-378
Science of Computer Programming > 2015 > 113 > P2 > 85-118
Science of Computer Programming > 2014 > 89 > Part A > 41-68