dblp.uni-trier.dewww.uni-trier.de

Frédéric Badeau Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
2EEFré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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)