Vincent Englebert, Patrick Heymans
Research output: Other contribution
Projects per year
Cleve, A. (CoI)
1/01/10 → 31/01/10
Project: Research Axis
}
TY - GEN
T1 - MetaL: a formal specification
AU - Englebert, Vincent
AU - Heymans, Patrick
PY - 2006
Y1 - 2006
M3 - Other contribution
ER -