@inproceedings{MuellerSchwerhoffSummers16, author = {P. M{\"u}ller and M. Schwerhoff and A. J. Summers}, title = {Viper: A Verification Infrastructure for Permission-Based Reasoning}, booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)}, editor = {B. Jobstmann and K. R. M. Leino}, year = {2016}, publisher = {Springer-Verlag}, series = {LNCS}, pages = {41-62}, volume = {9583}, url = {https://doi.org/10.1007/978-3-662-49122-5_2}, urltext = {[Publisher]} }