P.O. Box 800
9700 AH Groningen, 9700 AV
Netherlands
University of Groningen
Abstraction, Compositional Reasoning, Modular Verification, Non-deterministic Systems, Simulation Relation