Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009)

DOI10.1016/J.SCICO.2010.01.001zbMath1185.01053OpenAlexW2045742475MaRDI QIDQ967530

Willem Paul de Roever

Publication date: 29 April 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.01.001

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

This page was built for publication: Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009)