Dershowitz, Nachum; Manna, Zohar Inference rules for program annotation. (English) Zbl 0463.68023 IEEE Trans. Software Eng. 7, 207-222 (1981). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. Dershowitz} and \textit{Z. Manna}, IEEE Trans. Softw. Eng. 7, 207--222 (1981; Zbl 0463.68023) Full Text: DOI
Dershowitz, Nachum; Manna, Zohar Proving termination with multiset orderings. (English) Zbl 0431.68016 Commun. ACM 22, 465-476 (1979). MSC: 68Q60 68W30 PDFBibTeX XMLCite \textit{N. Dershowitz} and \textit{Z. Manna}, Commun. ACM 22, 465--476 (1979; Zbl 0431.68016) Full Text: DOI
Dershowitz, Nachum; Manna, Zohar Proving termination with multiset orderings. (English) Zbl 0404.68022 Automata, languages and programming, 6th Colloq., Graz 1979, Lect. Notes Comput. Sci. 71, 188-202 (1979). MSC: 68Q60 PDFBibTeX XML
Dershowitz, Nachum; Manna, Zohar The evolution of programs: automatic program modification. (English) Zbl 0361.68024 IEEE Trans. Software Eng. 3, 377-385 (1977). MSC: 68N01 PDFBibTeX XMLCite \textit{N. Dershowitz} and \textit{Z. Manna}, IEEE Trans. Softw. Eng. 3, 377--385 (1977; Zbl 0361.68024) Full Text: DOI