书籍 — formal verification

RU

程序正确性证明

A

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

算法与理论