书籍 — deductive verification

RU

程序正确性证明

A

К. Рустан М. Лейно

算法与理论