OMBase – Publications

Publications

• Andrei Ionita: Developing a REST interface to a database for OMDoc, published upon completing an internship in June - August 2007, under the supervision of Michael Kohlhase, Christoph Lange and Normen Müller