%0 Conference Paper
%B IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
%C Vasteras, Sweden
%D 2018
%G eng
%T Evaluating Automated Software Verification Tools
%8  9-13 April 2018