• Livres
  • Tag : program correctness

Livres — program correctness

RU
Preuve de correction des programmes

Preuve de correction des programmes

A

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

Algorithmes et théorie