Verification of Monitors Based on a Partial Correctness Semantics

Verification of Monitors Based on a Partial Correctness Semantics

Authors
S. Gjessing