VDict mobile



A specification language.
["A Look at Algebraic Specifications", S.N. Zilles et al, IBM
RR, 1982].
(1994-11-16)