Challenges in Comparing Software Verification Tools for C
-
Autor:
Florian Merz, Carsten Sinz, Stephan Falke
-
Quelle:
In Proc. of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012.