Vincent Englebert, Patrick Heymans
Résultats de recherche: Autre contribution
Projets par an
Cleve, A. (Co-investigateur)
1/01/10 → 31/01/10
Projet: Axe de recherche
}
TY - GEN
T1 - MetaL: a formal specification
AU - Englebert, Vincent
AU - Heymans, Patrick
PY - 2006
Y1 - 2006
M3 - Other contribution
ER -