On the organisation of program verification competitions (0)

by M Huisman, V Klebanov, R Monahan
Venue:In Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE