• Livres
  • Tag : deductive verification

Livres — deductive verification

EN
Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications

Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Langages de programmation
RU
Preuve de correction des programmes

Preuve de correction des programmes

A

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

Algorithmes et théorie