Tag : preuve déductible

Validation formelle d'une fonction informatique

Question à propos de Frama-C Par Karim DRIDI - Lundi 26 juin 2017 à 20h24 26/06/17 à 20h24

5 messages

Dernière réponse
Jeudi 29 juin 2017 à 10h19 29/06/17 à 10h19
par Ksass`Peuk