Empirical Software Metrics for Benchmarking of Verification Tools.

Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger

Browse the full CAV paper archive.