Prix Turing : Amir Pnueli ( Israël) Logique temporelle et vérification de programmes et de systèmes
Prix Prix Turing : Amir Pnueli ( Israël)<span class="Apple-tab-span" style="white-space:pre;"> </span>Logique temporelle et vérification de programmes et de systèmes
