Registered user since Fri 26 Jun 2020
Name:Frank Busse
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://srg.doc.ic.ac.uk/people/frank-busse/
Research interests:Symbolic Execution, Program Testing
Contributions
Using general profile