243 followers
Empirical Software Metrics for Benchmarking of Verification Tools. - Yulia Demyanova, Thomas Pani, Helmut Veith,… http://t.co/yii9rlNljy
Empirical Software Metrics for Benchmarking of Verification Tools. - Yulia Demyanova, Thomas Pani, Helmut Veith,… http://t.co/yii9rlNljy