Centre de Mathématiques Appliquées
Home
Browse
Document list
List by subject
List by authors
Search
26 articles
[version française]
.:.
Browse
>
List by authors
> Tardieu .:.
1 document
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]