| |
| 2000 | ||
|---|---|---|
| 2 | EE | Eric Meyer, Thomas Santen: Behavioral Conformance Verification in an Integrated Approach Using UML and B. IFM 2000: 358-379 |
| 1999 | ||
| 1 | EE | Eric Meyer, Jeanine Souquières: A Systematic Approach to Transform OMT Diagrams to a B Specification. World Congress on Formal Methods 1999: 875-895 |
| 1 | Thomas Santen | [2] |
| 2 | Jeanine Souquières | [1] |