Daniel Kroening

Daniel Kroening is professor of computer science in the University of Oxford's Department of Computer Science and CEO of Diffblue

All Articles