Suche

A Formal Approach to Object-Oriented Software Engineering

Martin Wirsing, Alexander Knapp

In: José Meseguer (Hg.). Proc. 1st Int. Wsh. Rewriting Logic and Its Applications (WRLA'96). Electr. Notes Theo. Comp. Sci. 4. Elsevier, 1996. S. 321-359.


Downloads: