Refinement in Z and object-Z : foundations and advanced applications
Author(s)
Bibliographic Information
Refinement in Z and object-Z : foundations and advanced applications
(Formal approaches to computing and information technology (FACIT))
Springer-Verlag, c2001
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [449]-460) and index