@dblp

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.

, , and . PLDI, page 338-352. ACM, (1991)

Links and resources

Tags