Refinement in Z and Object-Z, Foundations and Advanced Applications
Monograph (January 2014)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Monograph (January 2014)
Book chapter (December 2007)
Article in Formal Aspects of Computing (December 1999)