Source : Free On-Line Dictionary of Computing

SmallVDM
     
        
     
        ["SmallVDM: An Environment for Formal Specification and
        Prototyping in Smalltalk", in Object Oriented Specification
        Case Studies, K. Lano et al eds, P-H 1993].
     
        (1996-04-20)