Publikationen

In: Till Mossakowski , Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Etelsen Germany Seiten 251-269 Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

Zur Publikation

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