Evaluating Automated Software Verification Tools Publication Type: Conference Paper Authors: Christian Prause; Rainer Gerlich; Ralf Gerlich Source: IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), Vasteras, Sweden (2018)
