“Dimensions of Formality: A Case Study for MKM in Software Engineering”

Creators: Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph
Title: “Dimensions of Formality: A Case Study for MKM in Software Engineering”
Item Type: Conference or Workshop Item
Event Title: Intelligent Computer Mathematics. Ed. by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton. LNAI 6167
Page Range: pp. 355-369
Additional Information: Springer Verlag, isbn: 3642141277. arXiv: 1004.5071v1 [cs.DL].
Date: 2010
Divisions: Informationsmanagement
Citation:

Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph (2010) “Dimensions of Formality: A Case Study for MKM in Software Engineering”. In: Intelligent Computer Mathematics. Ed. by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton. LNAI 6167, pp. 355-369.

Actions (login required)

View Item View Item