TY  - RPRT
TI  - Dimensions of Formality: A Case Study for MKM in Software Engineering
AU  - Andrea Kohlhase
AU  - Michael Kohlhase
AU  - Christoph Lange
PY  - 2010
UR  - https://arxiv.org/abs/1004.5071
ID  - 1004.5071
ER  -