Search results for: Thomas Wies
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 1 > 74-88
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Concurrency and Process Theory > 94-108
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 371-386
Lecture Notes in Computer Science > Computer Aided Verification > Session 9: Program Verification > 314-327
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Tutorials > 26-44
Journal of Automated Reasoning > 2016 > 57 > 1 > 37-65
Formal Methods in System Design > 2010 > 37 > 2-3 > 171-199