Search results for: Azadeh Farzan
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 142-157
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 102-116
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 132-147
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 511-526
Lecture Notes in Computer Science > Static Analysis > 253-270
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 643-657
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking I > 31-45
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parameterized Systems > 2-17
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Concurrent Programs > 155-169
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 4 > 61-78