TY  - RPRT
TI  - Comparing Weakest Precondition and Weakest Liberal Precondition
AU  - Andrew E. Santosa
PY  - 2015
UR  - https://arxiv.org/abs/1512.04013
ID  - 1512.04013
ER  -