Publikation

Mind the Gap - Maintaining Formal Developments in MAYA

Serge Autexier; Dieter Hutter

In: Springer-Verlag, 2002.

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