Search results for: Oliver Rüthing
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification I > 79-96
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 23-37
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 145-159
Lecture Notes in Computer Science > Static Analysis > Optimizations > 232-247
Lecture Notes in Computer Science > ESOP '90 > 389-405
Science of Computer Programming > 2001 > 39 > 1 > 3-29