From The Free On-line Dictionary of Computing (19 January 2023): ASPIK <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)
ASPIK
<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)