Conference Publication Details
Mandatory Fields
Huisman Marieke, Vladimir Klebanov, Rosemary Monahan
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems
On the Organisation of Program Verification Competitions
2012
Published
1
()
Optional Fields
50
59
Grant Details