"ProbTA: A sound and complete proof rule for probabilistic verification."

Guanyan Li, Zhilei Han, Fei He (2022)
[–] 

Details and statistics

DOI: 10.48550/ARXIV.2203.04422

access: open

type: Informal or Other Publication

metadata version: 2023-08-02