Refinement in Z and Object-Z
Subtitle: Foundations and Advanced Applications
Publisher: Springer
Published: Nov 27, 2012
Format: paperback
Number of pages: 492
ISBN-13: 9781447102588
Notes: Source title: Refinement in Z and Object-Z: Foundations and Advanced Applications