书籍 — Hoare logic

RU
程序正确性证明

程序正确性证明

A

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

算法与理论