Conference Publication Details
Mandatory Fields
Zheng Cheng and Rosemary Monahan and James F. Power
International Workshop on Comparative Empirical Evaluation of Reasoning Systems
A Simple Complexity Measurement for Software Verification and Software Testing
2012
June
Published
()
Optional Fields
28
31
Manchester, UK
http://ceur-ws.org/Vol-873/papers/paper_8.pdf
Grant Details