VDM++(ID:1755/vdm001)

Object-oriented extension of VDM-SL (Vienna method language)

Structures:

VDM++

Extension of

References:

Lano, K. et al (eds) "Object-Oriented Specification in VDM++", in Object Oriented Specification Case Studies, P-H 1993. view details