Induction as the Basis for Program Verification
From MaRDI portal
Publication:4121385
DOI10.1109/TSE.1976.233829zbMath0351.68005OpenAlexW1987321061MaRDI 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
Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items