27 articles  [version française]
.:. Browse > List by authors > Tardieu .:.
1 document

fulltext access De la sémantique opérationnelle à la spécification formelle de compilateurs: l'exemple des boucles en Esterel
Tardieu O.
École Nationale Supérieure des Mines de Paris (24/09/2004), Jean-Jacques Levy (Dir.) [pastel-00001336 - version 1]