You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL