Publikation

Mind the Gap - Maintaining Formal Developments in MAYA

Serge Autexier, Dieter Hutter

In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605 2005.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence