Search results for: Eran Yahav
Computer Languages, Systems & Structures > 2017 > 47 > P1 > 62-76
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 215-253
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Concurrent Programs > 139-154
Lecture Notes in Computer Science > Computer Aided Verification > Session XV: Program Analysis > 477-490
Lecture Notes in Computer Science > Static Analysis > 455-471
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 204-222
Lecture Notes in Computer Science
Acta Informatica > 2016 > 53 > 4 > 327-356
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 5-6 > 413-431
Formal Methods in System Design > 2012 > 41 > 3 > 321-347
Formal Methods in Computer Aided Design > 111 - 119