You are here: irt.org | FOLDOC | 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)
Nearby terms: aspect ratio « ASPEN « ASPI « ASPIK » Aspirin » ASPLE » ASPOL
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