"A Code Policy Guaranteeing Fully Automated Path Analysis."

Benedikt Huber, Peter P. Puschner (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics