Metal,un langage de specification pour le systeme Mentor

Rapport Année : 1982

(1)

1

B. Melese

INRIA Rocquencourt

Autre [cs.OH]

Fichier principal

RR-0142.pdf (1.21 Mo)

https://inria.hal.science/inria-00076418

Soumis le : mercredi 24 mai 2006-20:58:35

Dernière modification le : mardi 7 février 2023-03:41:42

Archivage à long terme le : vendredi 13 mai 2011-20:24:01

inria-00076418 , version 1 (24-05-2006)

B. Melese. Metal,un langage de specification pour le systeme Mentor. RR-0142, INRIA. 1982. ⟨inria-00076418⟩

INRIA INRIA-RRRT INRIA2 LARA

26 Consultations

47 Téléchargements