Premio Turing 1996: Ganadores

Destinatarios

1. Amir Pnueli

   Informática

   for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification