Daniel Kroening

Informatician german · n. 1975 · 1 titlu

Daniel Kroening este un informatician german, profesor de informatică la Universitatea din Oxford și Chief Science Officer în compania pe care a co-fondat-o, Diffblue Ltd. Este membru al Magdalen College.

Cărți de Daniel Kroening

Coperta cărții Decision Procedures

Daniel Kroening, Ofer Strichman