书籍 — program correctness

RU

程序正确性证明

A

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

算法与理论