conf.researchr.org / Manuel Widmoser
Registered user since Mon 26 Feb 2018
Name:Manuel Widmoser
Affiliation:University of Salzburg
Contributions
| MoreVMs 2018 | Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track |
Registered user since Mon 26 Feb 2018
Contributions
| MoreVMs 2018 | Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track |