Search results for: Avi Yadgar
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 457-473
Lecture Notes in Computer Science > Languages: From Formal to Natural > Languages: From Formal to Natural > 228-244
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 233-248