Suche

Generating Rewrite Theories from UML Collaborations

Alexander Knapp

In: Kokichi Futatsugi, Ataru T. Nakagawa, Tetsuo Tamai (Hgg.). Cafe: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam-&c., 2000. S. 97-120


Downloads: