Evaluating Automated Software Verification Tools Вид публикации: Conference Paper Авторы: Christian Prause; Rainer Gerlich; Ralf Gerlich Источник: IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), Vasteras, Sweden (2018)
