Frédéric Badeau

	2005
2		Frédéric Badeau, Arnaud Amelot: Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. ZB 2005: 334-354
	2004
1		Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin: Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Technique et Science Informatiques 23(7): 879-903 (2004)

Coauthor Index

1	Arnaud Amelot	[2]
2	Didier Bert	[1]
3	Sylvain Boulmé	[1]
4	Christophe Métayer	[1]
5	Marie-Laure Potet	[1]
6	Nicolas Stouls	[1]
7	Laurent Voisin	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page