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

DOI10.1016/J.SCICO.2010.01.001zbMATH Open1185.01053OpenAlexW2045742475MaRDI QIDQ967530FDOQ967530

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)