smallvdm

from The Free On-line Dictionary of Computing (8 July 2008)

SmallVDM

   <tool>

   ["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)