"Adjusted Verification Rules for Loops Are More Complete and Give Better ..."

Patrice Chalin (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics