Skip to main content
2
Views
Reviewed article

Evaluating Automated Software Verification Tools

How to cite:
Christian Prause, Rainer Gerlich, Ralf Gerlich
"Evaluating Automated Software Verification Tools"
IEEE 11th International Conference on Software Testing, Verification and Validation (ICST),
,
(2018):