Slicing Object-Z Specifications for Verification

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_24 ◽

2005 ◽

pp. 414-433 ◽

Cited By ~ 12

Author(s):

Ingo Brückner ◽

Heike Wehrheim

Download Full-text