Frédéric Badeau

2005
2	EE	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