Point-and-write — Documenting Formal Mathematics by Reference. Tankink, C.; Lange, C.; and Urban, J. In pages 169–185.
bibtex   
@InProceedings{Tankink,
  Title                    = {Point-and-write --- Documenting Formal Mathematics by Reference},
  Author                   = {Carst Tankink and Christoph Lange and Josef Urban},
  Pages                    = {169--185},

  Crossref                 = {CICM12},
  Eprint                   = {1204.5094},
  Eprintclass              = {cs.MS},
  Eprinttype               = {arxiv},
  File                     = {http://arxiv.org/pdf/1204.5094},
  Pubs                     = {clange},
  Speaker                  = {Carst Tankink},
  Timestamp                = {2017.10.12},
  Vgwortseiten             = {30}
}
Downloads: 0