"Annotated Inclusion Constraints for Precise Flow Analysis."

Ana Milanova, Barbara G. Ryder (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics