Graphs in METAFrame: The Unifying Power of Polymorphism

• Authors:

• Michael von der Beeck;Volker Braun;Andreas Claßen;A. Dannecker;C. Friedrich;Dirk Koschützki;Tiziana Margaria;F. Schreiber;Bernhard Steffen

• Affiliations:

• -;-;-;-;-;-;-;-;-

• Venue:
• TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
• Year:
• 1997