Babak Dehbonei

	1994
6		Babak Dehbonei, Fernando Mejia: Formal Methods in the Railways Signalling Industry. FME 1994: 26-34
	1993
5		Babak Dehbonei, Fernando Mejia: Verification of Proofs for the B Formal Development Process. SIGPLAN Notices 28(11): 16-21 (1993)
	1992
4		Clara DaSilva, Babak Dehbonei, Fernando Mejia: Formal specification in the development of industrial applications: Subway speed control system. FORTE 1992: 199-213
3		Babak Dehbonei, Pierre Jouvelot: Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM 1992: 14-20
	1989
2		Pierre Jouvelot, Babak Dehbonei: A unified semantic approach for the vectorization and parallelization of generalized reductions. ICS 1989: 186-194
1		Pierre Jouvelot, Babak Dehbonei: Recursive Pattern Matching on concrete data types. SIGPLAN Notices 24(11): 84-93 (1989)

Coauthor Index

1	Clara DaSilva	[4]
2	Pierre Jouvelot	[1] [2] [3]
3	Fernando Mejia	[4] [5] [6]

Colors in the list of coauthors