Typo.
This commit is contained in:
parent
11863f2e3e
commit
06412aefbb
|
@ -1,4 +1,4 @@
|
|||
+ **12/2017** **A Program Logic for Probabilistic Programs** will eppear at
|
||||
+ **12/2017** **A Program Logic for Probabilistic Programs** will appear at
|
||||
**ESOP 2018**!
|
||||
+ **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
|
||||
Reasoning** is now available.
|
||||
|
|
Loading…
Reference in New Issue