Registered user since Mon 26 Feb 2018

Name: Manuel Widmoser

Affiliation: University of Salzburg

Contributions

MoreVMs 2018Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track