• Livres
  • Tag : formal verification

Livres — formal verification

RU
Preuve de correction des programmes

Preuve de correction des programmes

A

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

Algorithmes et théorie