prix Turing 1996 : lauréats

Destinataires

1. Amir Pnueli

   Informatique

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