On Proving Correctness of Microprograms

DOI10.1147/RD.183.0250MaRDI QIDQ4768611zbMATH OpenOpenAlexFDO

Authors

Publication date 1974

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.183.0250

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(1)

• Correctness of parallel programs: The Church-Rosser approach

This page was built for publication: On Proving Correctness of Microprograms

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