@incollection{M_ller_2015,
    doi = {10.1007/978-3-662-49122-5_2},
    url = {https://doi.org/10.1007%2F978-3-662-49122-5_2},
    year = {2015},
    month = {dec},
    publisher = {Springer Berlin Heidelberg},
    pages = {41--62},
    author = {Peter Müller and Malte Schwerhoff and Alexander J. Summers},
    title = {Viper: A Verification Infrastructure for Permission-Based Reasoning},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{M_ller_2015, doi = {10.1007/978-3-662-49122-5_2}, url = {https://doi.org/10.1007%2F978-3-662-49122-5_2}, year = {2015}, month = {dec}, publisher = {Springer Berlin Heidelberg}, pages = {41--62}, author = {Peter Müller and Malte Schwerhoff and Alexander J. Summers}, title = {Viper: A Verification Infrastructure for Permission-Based Reasoning}, booktitle = {Lecture Notes in Computer Science} }