Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Journal title: Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Journal number: 11002
Journal publisher: Springer International Publishing
Published year: 2018
Published pages: 86-106
DOI identifier: 10.1007/978-3-319-99725-4_8
ISBN: 978-3-319-99724-7
Search
Associated projects
Organisations
- Not specified