Algebraic specifications in an integrated software development and verification system - Voß, Angelika (1985)
Kaiserslautern, Univ., Diss.
Keywords: SPESY; Softwarespezifikation; Algebraische Spezifikation; Hochschulschrift