Publication:3939217

zbMath0481.68028MaRDI QIDQ3939217

Manfred Broy, Bernhard Möller, Martin Wirsing, Walter Dosch

Publication date: 1981

zbMATH Keywords

algebraic semantics; abstract data types; gotos

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68P05: Data structures

68N01: General topics in the theory of software