Anran Cui

最新发表

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui (2026). Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness. Lecture Notes in Computer Science.

引用 DOI DOI