Livres — ACSL

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