Publication
Checking conservativity with Hets
Mihai Codescu; Till Mossakowski; Christian Maeder
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland, 2013.