Books — Hoare logic

EN
Principles of Computer Programming: A Mathematical Approach

Principles of Computer Programming: A Mathematical Approach

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Other
RU
Program correctness proof

Program correctness proof

A

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

Algorithms and theory