Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: Bowen, Jonathan P. and Fett, A. and Hinchey, Michael G., eds. ZUM '98: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1493. Springer, Berlin pp. 265-283. ISBN 3-540-65070-9. (Full text available) |