Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger. Empirical software metrics for benchmarking of verification tools. Formal Methods in System Design, 50(2-3):289-316, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.