| |
| 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 | |
| 1 | Dominique Méry | [1] [2] |
| 2 | Abdelillah Mokkedem (Abdel Mokkedem) | [4] |