Search the dblp DataBase
Naima Brown :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Naima Brown , Dominique Méry Towards an Integrated Environment for Concurrent programs Development. [Citation Graph (0, 0)][DBLP ] AMAST, 1993, pp:407-408 [Conf ] Naima Brown , Abdelillah Mokkedem On Mechanizing Proofs within a Complete Proof System for Unity . [Citation Graph (0, 0)][DBLP ] AMAST, 1995, pp:400-415 [Conf ] Naima Brown Correctness-Preserving Transformations for the Design of Parallel Programs. [Citation Graph (0, 0)][DBLP ] ECOOP Workshop, 1994, pp:29-48 [Conf ] Naima Brown , Dominique Méry A Proof Environment for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:196-215 [Conf ] Search in 0.001secs, Finished in 0.001secs