Naima Brown

	1995
4		Naima Brown, Abdelillah Mokkedem: On Mechanizing Proofs within a Complete Proof System for Unity. AMAST 1995: 400-415
	1994
3		Naima Brown: Correctness-Preserving Transformations for the Design of Parallel Programs. ECOOP Workshop 1994: 29-48
	1993
2		Naima Brown, Dominique Méry: Towards an Integrated Environment for Concurrent programs Development. AMAST 1993: 407-408
1		Naima Brown, Dominique Méry: A Proof Environment for Concurrent Programs. FME 1993: 196-215

Coauthor Index

1	Dominique Méry	[1] [2]
2	Abdelillah Mokkedem (Abdel Mokkedem)	[4]