TY - CPAPER
AU - Christian Prause
AU - Rainer Gerlich
AU - Ralf Gerlich
BT - IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
CY - Vasteras, Sweden
DA -  9-13 April 2018
LA - eng
PP - Vasteras, Sweden
PY - 2018
T2 - IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
TI - Evaluating Automated Software Verification Tools
ER -