VDM++
Object-oriented extension of VDM-SL.
["Object-Oriented Specification in VDM++", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993].
| < Previous Terms | Terms Containing VDM++ | Next Terms > |
| VCPI VCR vdiff VDL VDM | VDM++ | VDM-SL VDSL VDT VDU vdx |
