Login / Signup

Transition Specifications for Dynamic Abstract Data Types.

Martin Große-Rhode
Published in: Appl. Categorical Struct. (1997)
Keyphrases