[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Towards an Open Framework for C Verification Tools Benchmarking
Clarke, Edmund, Virbitskaite, Irina, Voronkov, AndreiVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-29709-0_17
File:
PDF, 340 KB
english, 2012