Complete Monitors for Behavioral Contracts.

Christos DimoulasSam Tobin-HochstadtMatthias Felleisen
Published in: ESOP (2012)