Personal Information
Organization / Workplace
Trier, Germany
Occupation
Universität Trier
Tags
bytecode etaps static analysis
property assertion
software verification
See more
- Presentations
- Documents
- Infographics