scientific article; zbMATH DE number 3679161

MaRDI QIDQ3875322zbMATH OpenFDO

Authors Manfred Broy, Peter Pepper, Martin Wirsing

Publication date 1980

zbMATH Keywords

equivalence relations between programsnondeterministic programsprogramming languagessemanticstransformations

Mathematics Subject Classification ID

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

Cited in

(4)

• A calculus of refinements for program derivations
• On correct refinement of programs
• scientific article; zbMATH DE number 3814949 (Why is no real title available?)
• Semantics of algorithmic languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3875322)