Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings - Podelski, Andreas; Podelski, Andreas (Springer International Publishing : Imprint: Springer, 2018)