diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 4d8fae3..3449408 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -140,7 +140,7 @@ } @inproceedings{ZBHYY20, - title = {A Quantum Interpretation of Bunched Logic for Quantum Separation Logic}, + title = {A Quantum Interpretation of Bunched Logic \& Quantum Separation Logic}, author = {Zhou, Li and Barthe, Gilles and Hsu, Justin and