You are here: irt.org | FOLDOC | 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].
Nearby terms: vdiff « VDL « VDM « VDM++ » VDM-SL » VDSL » VDT
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL