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