Refinement in Z and Object-Z
Subtitle: Foundations and Advanced Applications
Publisher: Springer London, Limited
Published: 2013
Language: eng
Number of pages: 492
ISBN-13: 9781447153559