Empirical software metrics for benchmarking of verification tools
Crossref DOI link: https://doi.org/10.1007/s10703-016-0264-5
Published Online: 2017-01-10
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Demyanova, Yulia
Pani, Thomas
Veith, Helmut
Zuleger, Florian
Funding for this research was provided by:
Austrian Science Fund (S11403-N23)
Vienna Science and Technology Fund (PROSEED, ICT12-059)
License valid from 2017-01-10