Naima Brown

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Naima Brown, Abdelillah Mokkedem
. AMAST (1995)
Naima Brown
Correctness-Preserving Transformations for the Design of Parallel Programs. ECOOP Workshop (1994)
Naima Brown, Dominique Méry
Towards an Integrated Environment for Concurrent programs Development. AMAST (1993)
Naima Brown, Dominique Méry
A Proof Environment for Concurrent Programs. FME (1993)