Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.

David Harel

Browse the full CAV paper archive.