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