Daniel Kroening
Results: 22
# | Item |
---|---|
21 | Exploit-Generation with Acceleration Daniel Kroening, Matt Lewis, Georg Weissenbacher ●Add to Reading ListSource URL: crest.cs.ucl.ac.ukLanguage: English - Date: 2013-06-03 11:21:47 |
22 | Abstract Satisfaction Vijay D’Silva Leopold Haller Daniel KroeningAdd to Reading ListSource URL: www.kroening.comLanguage: English - Date: 2014-05-29 09:55:04 |