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].
Last updated: 1996-04-20
Nearby terms:
Smalltalk-80 ♦ Smalltalk/V ♦ SmallVDM ♦ SMALLWORLD ♦ SmallWorld ♦ Smarandache logic
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
