Biblio

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