Graphs in METAFrame: The Unifying Power of Polymorphism.

Michael von der Beeck, Volker Braun, Andreas Claen, Achim Dannecker, Carsten Friedrich, Dirk Koschtzki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen

Browse the full TACAS paper archive.