Papers: 10.1007/s10703-016-0264-5

https://doi.org/10.1007/s10703-016-0264-5

Empirical software metrics for benchmarking of verification tools

Cited by: 19
Author(s): Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Published: over 9 years ago

Software Mentions 1