Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
1996
Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available) |