prix Turing 2007 : lauréats

Destinataires

1. Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis

   Informatique

   for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries