• Books
  • Tag: program correctness

Books — program correctness

RU
Program correctness proof

Program correctness proof

A

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

Algorithms and theory