scientific article; zbMATH DE number 3649968

zbMATH Open0417.68009MaRDI QIDQ3208063FDOQ3208063

Authors:

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

weakest preconditionsstepwise refinementlanguage designtransformational programmingabstracto 84

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (1)

• On correct refinement of programs

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 Q3208063)