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

Hide under submission.

This commit is contained in:
Justin Hsu 2021-07-10 23:47:39 +01:00
parent 4f8e9069f7
commit 41a9c8dd5e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bibs/myrefs.bib
View File

@ -1,5 +1,5 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@unpublished{BGHT21, unpublished{BGHT21,
title = {A Separation Logic for Negative Dependence}, title = {A Separation Logic for Negative Dependence},
author = {Bao, Jialu and author = {Bao, Jialu and
Gaboardi, Marco and Gaboardi, Marco and
@ -9,7 +9,7 @@
jh = yes, jh = yes,
} }
@unpublished{SLHR21, unpublished{SLHR21,
title = {Symbolic Execution for Randomized Programs}, title = {Symbolic Execution for Randomized Programs},
author = {Susag, Zachary and author = {Susag, Zachary and
Lahiri, Sumit and Lahiri, Sumit and