Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings Riis Nielson, Hanne Heftet / 2007 / Engelsk
