VDM++

VDM++

Object-oriented extension of VDM-SL. ["Object-OrientedSpecification in VDM++", in Object Oriented Specification CaseStudies, K. Lano et al eds, P-H 1993].