ISSTA 2017 (series) / Daniel Kroening
![Daniel Kroening](https://conf.researchr.org/getProfileImage/danielkroening/b490445e-3d87-478d-b914-9d5d631cfae0/small.jpg?1711504390000)
Registered user since Fri 9 Jun 2017
Name:Daniel Kroening
Affiliation:University of Oxford
Contributions
2017
ISSTA 2017-profile
View general profile
View general profile
Registered user since Fri 9 Jun 2017
Contributions