Refinement, Subtyping and Subclassing in VDM++

Kevin Lano, S. J. Goldsack. Refinement, Subtyping and Subclassing in VDM++. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. pages 341-363, Imperial College Press, 1994.

Abstract

Abstract is missing.