All articles by Daniel Kroening

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