H ? « ‹ ← → › »

Language peer sets for SmallVDM:
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

SmallVDM(ID:1749/sma020)

alternate simple view
Designed 1993
Published: 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:
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder