Search results for: Harald Søndergaard
Journal of Automated Reasoning > 2019 > 63 > 3 > 723-762
Lecture Notes in Computer Science > ESOP 86 > 327-338
Theoretical Computer Science > 2016 > 625 > C > 1-24
Lecture Notes in Computer Science > Static Analysis > 159-173
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 222-239
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 197-213
Lecture Notes in Computer Science > Mathematical Foundations of Programming Language Semantics > 386-413
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 359-370
Lecture Notes in Computer Science > Abstraction, Reformulation, and Approximation > Research Papers > 329-343
Lecture Notes in Computer Science > Static Analysis > 157-171
Lecture Notes in Computer Science > Computer Aided Verification > Session 7: Decision Procedures > 281-293