Premio Turing 2007: Ganadores

Destinatarios

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

   Informática

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