Algebraic implementations in an integrated software development and verification system - Beierle, Christoph 1954- (1985)
Kaiserslautern, Univ., Diss.
Keywords: SPESY; Programmverifikation; Algebraische Spezifikation; Hochschulschrift