scientific article; zbMATH DE number 3493862

zbMATH Open0315.68025MaRDI QIDQ4076753FDOQ4076753

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

Publication date: 1974

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (1)

• The use of hoare logic in the verification of horizontal microprograms

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