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

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

Browse the full FORTE paper archive.