Linking Paradigms, Semi-formal and Formal Notations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Linking Paradigms, Semi-formal and Formal Notations

Sébastien Faucou

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00458172 , version 1 (19-02-2010)

Identifiants

  • HAL Id : hal-00458172 , version 1

Citer

Henri Habrias, Sébastien Faucou. Linking Paradigms, Semi-formal and Formal Notations. {Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004}, 2004, Ghent, Belgium, Belgium. pp.166--184. ⟨hal-00458172⟩
33 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More