The SMGloM Project and System

Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, J├╝rgen Schefter, Wolfram Sperber. The SMGloM Project and System. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe 0001, Volker Sorge, editors, CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. pages 25-28, 2015. [doi]

Abstract

Abstract is missing.