[Lecture Notes in Computer Science] Computer Aided Verification Volume 9206 || Empirical Software Metrics for Benchmarking of Verification Tools
Kroening, Daniel, Păsăreanu, Corina S.Volume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-21690-4_39
File:
PDF, 432 KB
english, 2015