Prix Turing : Edmund Clarke ( États-Unis), Allen Emerson ( États-Unis) et Joseph Sifakis ( France)
Prix Prix Turing : Edmund Clarke ( États-Unis), Allen Emerson ( États-Unis) et Joseph Sifakis ( France)<span class="Apple-tab-span" style="white-space:pre;"> </span>Pour leurs travaux sur le model checking.
