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

DOI10.1016/J.SCICO.2010.01.001MaRDI QIDQ967530zbMATH OpenOpenAlexFDO

Authors 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)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q967530)