Verifying Scenario-Based Aspect Specifications.

Emilia Katz, Shmuel Katz

Browse the full FM paper archive.