Prix Turing 2007
E
Prix Turing
·
2007
Edmund M. Clarke
informaticien américain