Refinement in Z and Object-Z

Name: Refinement in Z and Object-Z
Author: John Derrick, Eerke A. Boiten

No description available.

VerfeinerungZ <Programmiersprache>Object-Z

Refinement in Z and Object-Z by John Derrick, Eerke A. Boiten — book · Vinony