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

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_3 ◽

2006 ◽

pp. 3-4 ◽

Cited By ~ 1

Author(s):

David Harel