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

Update.

This commit is contained in:
Justin Hsu 2020-10-11 15:44:00 -05:00
parent aafeb0435d
commit b27378575a
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
bibs/myrefs.bib
View File

@ -105,7 +105,7 @@
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{ABHKKM19, @article{ABHKKM19,
title = {A Pre-Expectation Calculus for Probabilistic Sensitivity}, title = {A Pre-Expectation Calculus for Probabilistic Sensitivity},
author = {Aguirre, Alejandro and author = {Aguirre, Alejandro and
Barthe, Gilles and Barthe, Gilles and
@ -119,6 +119,11 @@
eprint = {1901.06540}, eprint = {1901.06540},
archivePrefix = {arXiv}, archivePrefix = {arXiv},
primaryClass = {cs.LO}, primaryClass = {cs.LO},
month = jan,
journal = pacmpl,
volume = {5},
number = {POPL},
reviewed = yes,
jh = yes, jh = yes,
} }