| |
| 1999 | ||
|---|---|---|
| 2 | EE | Salimeh Behnia, Hélène Waeselynck: Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529 |
| 1998 | ||
| 1 | EE | Hélène Waeselynck, Salimeh Behnia: B Model Animation for External Verification. ICFEM 1998: 36-45 |
| 1 | Hélène Waeselynck | [1] [2] |