Amir Pnueli

Publication

Citation

Affiliation

Research Interests

Recommendation

Relation Based:
Nachum Dershowitz, Martin Abadi, Ting Zhang, Nikolaj Bjorner, Shmuel Katz, Martin Abadi, John E Mccarthy, Anuchit Anuchitanukul, Anca Browne, William N Robinson

Insterests Based:
Joseph Y Halpern, Shankar Sastry, David L Dill, Christopher Gill, Anil Nerode, Martin Abadi, Jaejin Lee, Sriram Sankaranarayanan, Luca De Alfaro, Pierre Wolper, David C Luckham, Henny B Sipma, Nachum Dershowitz, A Chandra, Mark E Stickel

Content Based:

A PHP Error was encountered

Severity: Notice

Message: Undefined variable: rec_friend3

Filename: views/authorpage.php

Line Number: 422

A PHP Error was encountered

Severity: Warning

Message: Invalid argument supplied for foreach()

Filename: views/authorpage.php

Line Number: 422

Link: Zohar Manna