Search results for: Andrey Rybalchenko
Lecture Notes in Computer Science > Programming Languages and Systems > Session 4: Concurrency 1 > 188-203
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstract Interpretation > 124-139
Lecture Notes in Computer Science > Computer Aided Verification > Session 14. Tools Papers > 415-418
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Networks and Data > 76-90
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Real-Time and Mobility > 332-346
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 6 > 378-394
Lecture Notes in Computer Science > Static Analysis > 356-372
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 6 > 346-362
Lecture Notes in Computer Science > Computer Aided Verification > Session 9: Program Verification > 314-327
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 188-202
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Generative Approaches > 262-276
Lecture Notes in Computer Science > Computer Aided Verification > Session 9: Program Verification > 328-340