Living with free type and class union

Publisher Website

19 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/apsec.1995.496979

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Object-Z: A specification language advocated for the description of standards
Computer Standards & Interfaces, 1995
On Free Type Definitions in Z
Published by Springer Nature ,1992
Object-Z
Published by Springer Nature ,1992
On Recursive Free Types in Z
Published by Springer Nature ,1991