scientific article; zbMATH DE number 3621081
From MaRDI portal
Publication:4184269
zbMath0399.68009MaRDI QIDQ4184269
Manfred Broy, H. Wössner, Peter Pepper, Friedrich L. Bauer, Helmut Partsch
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A calculus of refinements for program derivations, On correct refinement of programs, A continuous semantics for unbounded nondeterminism, Semantics of algorithmic languages