Amir Pnueli

Person information

  • award (1996): Turing Award
  • award (2007): ACM Software System Award

Refine list

showing all ?? records

Books and Theses

Journal Articles

Conference and Workshop Papers

Parts in Books or Collections

Editorship

Coauthor Index

a service of  Schloss Dagstuhl - Leibniz Center for Informatics