Books — deductive verification

RU

Program correctness proof

A

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

Algorithms and theory