Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor (bibtex)
by Mark Buckley, Christoph Benzmüller
Reference:
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor (Mark Buckley, Christoph Benzmüller), In Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP), pp. 16-39, 2005. (Url (preprint): http://christoph-benzmueller.de/papers/W30.pdf)
Bibtex Entry:
@inproceedings{W30,
  Address =	 {Edinburgh, Scotland},
  Author =	 {Mark Buckley and Christoph Benzm{\"u}ller},
  Booktitle =	 {Proceedings of the ETAPS Satellite Workshop on User
                  Interfaces for Theorem Provers (UITP)},
  Pages =	 {16-39},
  Title =	 {Integrating Proof Assistants as Reasoning and
                  Verification Tools into a Scientific WYSIWIG Editor},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W30.pdf}},
  Year =	 2005,
}
Powered by bibtexbrowser