| |
| 1994 | ||
|---|---|---|
| 3 | Babak Dehbonei, Fernando Mejia: Formal Methods in the Railways Signalling Industry. FME 1994: 26-34 | |
| 1993 | ||
| 2 | Babak Dehbonei, Fernando Mejia: Verification of Proofs for the B Formal Development Process. SIGPLAN Notices 28(11): 16-21 (1993) | |
| 1992 | ||
| 1 | Clara DaSilva, Babak Dehbonei, Fernando Mejia: Formal specification in the development of industrial applications: Subway speed control system. FORTE 1992: 199-213 | |
| 1 | Clara DaSilva | [1] |
| 2 | Babak Dehbonei | [1] [2] [3] |