Verifying Scenario-Based Aspect Specifications

FM 2005: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11526841_29 ◽

2005 ◽

pp. 432-447 ◽

Cited By ~ 10

Author(s):

Emilia Katz ◽

Shmuel Katz

Download Full-text