Refinement in Z and Object-Z
Refinement in Z and Object-Z
John Derrick
,
Eerke A. Boiten
Details
OL Work ID
OL18738908W
Subjects
Z (Computer program language)
Object-oriented programming (Computer science)
Find this book
Open Library
