Process Refinement in B

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

10.1007/11415787_4 ◽

2005 ◽

pp. 45-64 ◽

Cited By ~ 3

Author(s):

Steve Dunne ◽

Stacey Conroy

Download Full-text