"Advanced Program Analyses and Verifications."

Thi Viet Nga Nguyen, François Irigoin (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics