ASPIK
\ˈaspɪk], \ˈaspɪk], \ˈa_s_p_ɪ_k]\
Sort: Oldest first
-
A multiple-style specificationlanguage.["Algebraic Specifications in an Integrated SoftwareDevelopment and Verification System", A. Voss, Diss, UKaiserslautern, 1985].
By Denis Howe