Search results for: Matthew B. Dwyer
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametrization and Slicing > 73-89
Journal of Systems and Software > 2016 > 116 > C > 35-48
Lecture Notes in Computer Science > SPIN Model Checking and Software Verification > Papers > 205-223
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 173-189
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools > 158-162
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 210-228
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software > 404-420
Lecture Notes in Computer Science > Automated Reasoning > Verification > 156-170