チューリング賞 1996: 勝者

受賞者

1. Amir Pnueli

   情報科学

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