[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Evaluating Automated Software Verification Tools
Prause, Christian, Gerlich, Rainer, Gerlich, RalfYear:
2018
Language:
english
DOI:
10.1109/ICST.2018.00041
File:
PDF, 219 KB
english, 2018