Induction as the Basis for Program Verification

DOI10.1109/TSE.1976.233829MaRDI QIDQ4121385zbMATH OpenOpenAlexFDO

Authors Charles F. Reynolds III, Raymond T. Yeh

Publication date 1976

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

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25) Algorithms in computer science (68W99)

Cited in

(1)

• scientific article; zbMATH DE number 3621093 (Why is no real title available?)

This page was built for publication: Induction as the Basis for Program Verification

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