Skip to content

Automated Synthesis of Assertion Monitors using Visual Specifications.

Ambar A. Gadkari, S. Ramesh

VenueADATE
Year2005
ProceedingsDATE

Browse the full DATE paper archive.