Search results for: Andreas Podelski
Biosystems > 2016 > 149 > C > 15-25
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 358-375
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 > TAPSOFT '97: Theory and Practice of Software Development > 345-356
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Keynote Talks (Abstracts) > 3-3
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 158-172
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 268-283
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 328-344
Lecture Notes in Computer Science > Requirements Engineering: Foundation for Software Quality > Session 6: Embedded and Real-Time Systems > 166-180
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2004 > Invited Papers > 1-4
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification > 34-49