I. V. Mansurov

According to our database, I. V. Mansurov authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Tool Support for Algebraic Specifications of Dat in SDL-92.

Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov

Proceedings of the Formal Description Techniques IX: Theory, 1996