@inproceedings{18462,
  author = {Christian Prause and Rainer Gerlich and Ralf Gerlich},
  title = {Evaluating Automated Software Verification Tools},
  year = {2018},
  journal = {IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)},
  month = { 9-13 April 2018},
  address = {Vasteras, Sweden},
  language = {eng},
}