Conference Publication Details
Mandatory Fields
Monahan, Dr Rosemary Zheng Cheng, Dr James F. Power
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)
A Simple Complexity Measurement for Software Verification and Software Testing 28-31
2012
Published
1
()
Optional Fields
28
31
Grant Details