Article PDF
Author information
Authors and Affiliations
Corresponding author
Additional information
David Harel spoke about Amir at an invited session at FLoC in Edinburgh in July 2010; Cliff Jones found it a perfect tribute and had a text version generated (by Joanne Allison) from the recording of David’s talk; David subsequently edited this and approved its publication.
Rights and permissions
About this article
Cite this article
Harel, D. Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s. Form Asp Comp 22, 663–665 (2010). https://doi.org/10.1007/s00165-010-0165-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-010-0165-0