Induction as the Basis for Program Verification
From MaRDI portal
Publication:4121385
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
68Q25: Analysis of algorithms and problem complexity
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items