Naima Brown

According to our database, Naima Brown authored at least 4 papers between 1993 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

On Mechanizing Proofs within a Complete Proof System for <i>Unity</i>.

Naima Brown, Abdelillah Mokkedem

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Correctness-Preserving Transformations for the Design of Parallel Programs.

Naima Brown

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

A Proof Environment for Concurrent Programs.

Naima Brown, Dominique Méry

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Towards an Integrated Environment for Concurrent programs Development.

Naima Brown, Dominique Méry

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993