In: Klaus Tochtermann; Hermann Maurer (Hrsg.). Proceedings of I-KNOW '09 and I-SEMANTICS '09. International Conference on Knowledge Management and New …
In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques: 19th International Workshop. International Workshop on …
Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki