"A Simple Complexity Measurement for Software Verification and Software ..."

Zheng Cheng, Rosemary Monahan, James F. Power (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics