| 2008 |
|---|
| 4 | EE | Jean-Raymond Abrial,
Michael J. Butler,
Stefan Hallerstede,
Laurent Voisin:
A Roadmap for the Rodin Toolset.
ABZ 2008: 347 |
| 2006 |
|---|
| 3 | EE | Jean-Raymond Abrial,
Michael J. Butler,
Stefan Hallerstede,
Laurent Voisin:
An Open Extensible Tool Environment for Event-B.
ICFEM 2006: 588-605 |
| 2004 |
|---|
| 2 | | 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) |
| 2003 |
|---|
| 1 | EE | Didier Bert,
Sylvain Boulmé,
Marie-Laure Potet,
Antoine Requet,
Laurent Voisin:
Adaptable Translator of B Specifications to Embedded C Programs.
FME 2003: 94-113 |
