Formalization of Properties of Functional Programs

From MaRDI portal
Publication:5606281

DOI10.1145/321592.321606zbMath0206.17503OpenAlexW2039586513WikidataQ56170162 ScholiaQ56170162MaRDI QIDQ5606281

Amir Pnueli, Zohar Manna

Publication date: 1970

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321592.321606




Related Items (20)




This page was built for publication: Formalization of Properties of Functional Programs