Archive | 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