Livres — Frama-C

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
Fondamentaux des tests et de la vérification des logiciels

Fondamentaux des tests et de la vérification des logiciels

B

С. М. Старолетов

Développement de logiciels