Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers. Viper: A Verification Infrastructure for Permission-Based Reasoning. In Dependable Software Systems Engineering. pages 104-125, 2017. [doi]
@incollection{0001SS17-1,
title = {Viper: A Verification Infrastructure for Permission-Based Reasoning},
author = {Peter Müller 0001 and Malte Schwerhoff and Alexander J. Summers},
year = {2017},
doi = {10.3233/978-1-61499-810-5-104},
url = {https://doi.org/10.3233/978-1-61499-810-5-104},
researchr = {https://researchr.org/publication/0001SS17-1},
cites = {0},
citedby = {0},
pages = {104-125},
booktitle = {Dependable Software Systems Engineering},
}