diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 43c7714..41368ed 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@unpublished{BGHT21, +unpublished{BGHT21, title = {A Separation Logic for Negative Dependence}, author = {Bao, Jialu and Gaboardi, Marco and @@ -9,7 +9,7 @@ jh = yes, } -@unpublished{SLHR21, +unpublished{SLHR21, title = {Symbolic Execution for Randomized Programs}, author = {Susag, Zachary and Lahiri, Sumit and