Biblio
Export 1 results:
Filters: Author is Rainer Gerlich [Clear All Filters]
Evaluating Automated Software Verification Tools." In IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). Vasteras, Sweden, 2018.
"