@inproceedings{Feng_2009,
    doi = {10.1145/1480881.1480922},
    url = {https://doi.org/10.1145%2F1480881.1480922},
    year = {2009},
    month = {jan},
    publisher = {{ACM}},
    author = {Xinyu Feng},
    title = {Local rely-guarantee reasoning},
    booktitle = {Proceedings of the 36th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages}
}

@inproceedings{Feng_2009, doi = {10.1145/1480881.1480922}, url = {https://doi.org/10.1145%2F1480881.1480922}, year = {2009}, month = {jan}, publisher = {{ACM}}, author = {Xinyu Feng}, title = {Local rely-guarantee reasoning}, booktitle = {Proceedings of the 36th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages} }