Introducing Backward Refinement into B

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

10.1007/3-540-44880-2_13 ◽

2003 ◽

pp. 178-196 ◽

Author(s):

Steve Dunne

Download Full-text