Dimensions of Formality: A Case Study for MKM in Software Engineering. Kohlhase, A.; Kohlhase, M.; and Lange, C. In pages 355–369.
bibtex   
@InProceedings{Kohlhasea,
  Title                    = {Dimensions of Formality: A Case Study for {MKM} in Software Engineering},
  Author                   = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
  Pages                    = {355--369},

  Crossref                 = {CICM10},
  Eprint                   = {1004.5071v1},
  Eprintclass              = {cs.DL},
  Eprinttype               = {arxiv},
  File                     = {http://arxiv.org/pdf/1004.5071v1},
  Keywords                 = {conference,clange-phd},
  Pubs                     = {mkohlhase,akohlhase,clange,projects/omdoc},
  Timestamp                = {2017.10.12}
}
Downloads: 0