Développement et validation de logiciels. Méthodes formelles : Dossier complet | Techniques de l’Ingénieur

| Réf : H2550 v1

Développement et validation de logiciels. Méthodes formelles

Auteur(s) : Patrick BELLOT, Jean-Philippe COTTIN, Jean-François MONIN

Date de publication : 10 déc. 1995