Books — formal verification

RU

Program correctness proof

A

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

Algorithms and theory