26 articles  [english version]
.:. Consultation > Liste par auteurs > 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]