Induction as the Basis for Program Verification

DOI10.1109/TSE.1976.233829zbMath0351.68005MaRDI QIDQ4121385

Raymond T. Yeh, Charles F. Reynolds III

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

68Q25: Analysis of algorithms and problem complexity

68N01: General topics in the theory of software

68W99: Algorithms in computer science

Related Items

Unnamed Item