Refinement in Z and Object-Z
Subtitle: Foundations and Advanced Applications
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 492
ISBN-13: 9781447161677
Subjects: Object-oriented programming (computer science); Z (computer program language)