Ismar Neumann Kaufman

According to our database, Ismar Neumann Kaufman authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Modal Action Logic in a Practical Specification Language.

Ismar Neumann Kaufman, Silvio Romero de Lemos Meira

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