Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"

DOI10.1109/TSE.1977.231136zbMath0358.68032OpenAlexW2094541215MaRDI QIDQ4130973

David Gries

Publication date: 1977

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1977.231136

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

An algebraic approach to the syntax and semantics of languages with subscripted variables

This page was built for publication: Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"