@incollection{Vafeiadis,
    doi = {10.1007/978-3-540-74407-8_18},
    url = {https://doi.org/10.1007%2F978-3-540-74407-8_18},
    publisher = {Springer Berlin Heidelberg},
    pages = {256--271},
    author = {Viktor Vafeiadis and Matthew Parkinson},
    title = {A Marriage of Rely/Guarantee and Separation Logic},
    booktitle = {{CONCUR} 2007 {\textendash} Concurrency Theory}
}

@incollection{Vafeiadis, doi = {10.1007/978-3-540-74407-8_18}, url = {https://doi.org/10.1007%2F978-3-540-74407-8_18}, publisher = {Springer Berlin Heidelberg}, pages = {256--271}, author = {Viktor Vafeiadis and Matthew Parkinson}, title = {A Marriage of Rely/Guarantee and Separation Logic}, booktitle = {{CONCUR} 2007 {\textendash} Concurrency Theory} }