On Proving Correctness of Microprograms

DOI10.1147/rd.183.0250zbMath0282.68006OpenAlexW2011962675MaRDI QIDQ4768611

No author found.

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)

Related Items (1)

Correctness of parallel programs: The Church-Rosser approach

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