VDict mobile



language, specification A multiple-style specification
language.
["Algebraic Specifications in an Integrated Software
Development and Verification System", A. Voss, Diss, U
Kaiserslautern, 1985].
(1994-11-30)