Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings - Ranzato, Francesco; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Theoretical, practical, and applicational advances in area of static analysis -- Program verification.- Bug detection --  Compiler organization -- Program understanding -- Software maintenance. .
Keywords: Computer logic; Software engineering; Programming languages (Electronic computers).; Mathematical logic; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages