Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Principles of Program Analysis

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop