TY  - RPRT
TI  - ProbTA: A sound and complete proof rule for probabilistic verification
AU  - Guanyan Li
AU  - Zhilei Han
AU  - Fei He
PY  - 2022
UR  - https://arxiv.org/abs/2203.04422
ID  - 2203.04422
ER  -