Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor (bibtex)
by Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd
Reference:
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd), 2005. (Url (preprint): http://christoph-benzmueller.de/papers/J10.pdf)
Bibtex Entry:
@unpublished{J10,
  Author =	 {Serge Autexier and Christoph Benzm{\"u}ller and
                  Armin Fiedler and Henri Lesourd},
  Journal =	 {Electronic Notes in Theoretical Computer Science},
  Keywords =	 {own, DIALOG, Proof Presentation, User Interface,
                  Proof Assistants},
  Note =	 {This article was formally accepted for the UITP'05
                  post-proceedings in ENTCS; this volume did not
                  appear though.},
  Title =	 {Integrating Proof Assistants as Reasoning and
                  Verification Tools into a Scientific WYSIWYG Editor},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J10.pdf}},
  Year =	 2005,
}
Powered by bibtexbrowser