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)
Nearby terms:
Smalltalk « Smalltalk-80 « Smalltalk/V « SmallVDM
» SMALLWORLD » SmallWorld » Smarandache logic
|