• Livros
  • Tag: formal verification

Livros — formal verification

RU
Prova de correção de programas

Prova de correção de programas

A

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

Algoritmos e teoria