Testing Refinements by Refining Tests

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_19 ◽

1998 ◽

pp. 265-283 ◽

Cited By ~ 2

Author(s):

John Derrick ◽

Eerke Boiten

Download Full-text