Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings - Francesco Logozzo, Manuel Fähndrich ((Lecture Notes in Computer Science))