Unified Approach to Static and Runtime Verification.

Olga Thoss, Andreas Werner, Robert Kaiser, Reinhold Krger

Browse the full GI paper archive.