Search results for: Patrice Godefroid
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 465-478
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 321-333
Lecture Notes in Computer Science > CONCUR'93 > 233-246
Lecture Notes in Computer Science > Computer Aided Verification > Verification Core Technology > 91-103
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 281-293
Lecture Notes in Computer Science > Static Analysis > 112-128
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking: Logics and Algorithms > 266-280
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 89-104
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 59-73
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 223-240