Dimensions of formality: A case study for MKM in software engineering
Kohlhase A, Kohlhase M, Lange-Bever C (2010)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2010
Pages Range: 355-369
Event location: Paris
ISBN: 9783642141270
DOI: 10.1007/978-3-642-14128-7_31
Authors with CRIS profile
Involved external institutions
Germany (DE)How to cite
APA:
Kohlhase, A., Kohlhase, M., & Lange-Bever, C. (2010). Dimensions of formality: A case study for MKM in software engineering. In Proceedings of the 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010 (pp. 355-369). Paris.
MLA:
Kohlhase, Andrea, Michael Kohlhase, and Christoph Lange-Bever. "Dimensions of formality: A case study for MKM in software engineering." Proceedings of the 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris 2010. 355-369.
BibTeX: Download