Biblio

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