Publikation
Till Mossakowski; Oliver Kutz; Christoph Lange
In: Miguel Palomino; Narciso Martí-Oliet (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-2012), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain, Pages 212-230, Lecture Notes in Computer Science (LNCS), Vol. 7841, Springer, 2013.