scientific article; zbMATH DE number 3493862

zbMath0315.68025MaRDI QIDQ4076753

William C. Carter, George B. jun. Leeman, Alexander Birman

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

The use of hoare logic in the verification of horizontal microprograms

This page was built for publication: