Skip to content

Complete Monitors for Behavioral Contracts.

Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

VenueAESOP
Year2012
ProceedingsESOP

Browse the full ESOP paper archive.