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].
Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS: [ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ b ] [ bj ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ D ] [ die ] [ du ] [ ec ] [ ed ] [ er ] [ eS ] [ et ] [ extenSion ] [ fi ] [ file ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ K ] [ Lex ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ no ] [ nS ] [ O ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ S ] [ Se ] [ Si ] [ SL ] [ Spec ] [ V ] [ VDM ] [ VDM-SL ]