Livros — deductive verification

RU

Prova de correção de programas

A

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

Algoritmos e teoria