Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings - Logozzo, Francesco; Fähndrich, Manuel (Springer Berlin Heidelberg : Imprint: Springer, 2013)