C'est quoi un langage de vérification ?

Retourner au contenu associé (dépêche : Jeda: langage de vérification open source)

# C'est quoi un langage de vérification ?

Posté par bmc le 27 novembre 2001 à 08:27. En réponse à la dépêche Jeda: langage de vérification open source. Évalué à 1.

Tout est dans le titre, -1