Static analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings - Ranzato, Francesco (Springer, 2017)
Keywords: Computer science; Software engineering; Programming languages (Electronic computers); Computer logic; Mathematical logic; Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Informatik; Statische Analyse; Konferenzschrift