justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update title.

This commit is contained in:
Justin Hsu 2021-07-29 00:43:31 +01:00
parent 61af5087bb
commit 56f86d8568
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bibs/myrefs.bib
View File

@ -140,7 +140,7 @@
} }
@inproceedings{ZBHYY20, @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 author = {Zhou, Li and
Barthe, Gilles and Barthe, Gilles and
Hsu, Justin and Hsu, Justin and