Search results for: Marsha Chechik
Automated Software Engineering > 2019 > 26 > 4 > 757-793
Formal Aspects of Computing > 2019 > 31 > 5 > 459-502
Journal of Automated Reasoning > 2018 > 60 > 3 > 255-256
Software & Systems Modeling > 2019 > 18 > 2 > 1249-1284
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Code Understanding and Validation > 220-236
Lecture Notes in Computer Science > Model Checking Software > Technical Papers and Tool Reports > 16-36