Using Z: specification, refinement and proof/

Main Author: Woodcock, Jim
Other Authors: Davies, Jim
Format: Book
Language:English
Published: London: Prentice Hall, 1996
Subjects:

Similar Items