I. V. Mansurov

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov
Tool Support for Algebraic Specifications of Dat in SDL-92. FORTE (1996)