| |
| 1999 | ||
|---|---|---|
| 3 | EE | Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier: Météor: A Successful Application of B in a Large Project. World Congress on Formal Methods 1999: 369-387 |
| 1998 | ||
| 2 | EE | Patrick Behm, Pierre Desforges, Jean-Marc Meynadier: MÉTÉOR : An Industrial Success in Formal Development. B 1998: 26 |
| 1 | EE | Patrick Behm, Lilian Burdy, Jean-Marc Meynadier: Well Defined B. B 1998: 29-45 |
| 1 | Paul Benoit | [3] |
| 2 | Lilian Burdy | [1] |
| 3 | Pierre Desforges | [2] |
| 4 | Alain Faivre | [3] |
| 5 | Jean-Marc Meynadier | [1] [2] [3] |