SmallVDM(ID:1749/sma020)
Began: 1993
Languages for 1993
1990s languages
Fifth generation
Post-Cold War
Published: 1993
1993
SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk, in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993.
Structures:
Object