Observatoire français des techniques avancées. Groupe Méthodes formelles en logiciel — 1 œuvres

Observatoire français des techniques avancées. Groupe Méthodes formelles en logiciel

Œuvres1

Total pages285médiane 285 p.

Période d'activité1997

Prochaine sortie estimée—Pas assez de données (≥3 publis requises)

Bibliographie (1)

Année	Titre	Éditeur	Pages
1997	Application des techniques formelles au logiciel	OFTA	285