Heiko Petzsch

Publication Activity (10 Years)

Years Active: 1981-1984
Publications (10 Years): 0

Publications

Heiko Petzsch
Automatic Prototyping of Algebraic Specifications using PROLOG. ADT (1984)
Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch
SLAN-4 - A Software Specification and Design Language. IEEE Trans. Software Eng. 10 (2) (1984)
Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch
SLAN-4: A Language for the Specification and Design of Large Software Systems. IBM J. Res. Dev. 27 (6) (1983)
Herbert Klaeren, Heiko Petzsch
The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC (1981)