Publication 'Jinja With Threads'

Formal Proof Development

[lochbihler07afp]

Andreas Lochbihler, Jinja With Threads, Gerwin Klein and Tobias Nipkow and Lawrence Paulson (Ed.), Formal proof development, December 2007. Formal proof development

Download

[Link]

BibTeX

@incollection{lochbihler07afp,
  title = {Jinja With Threads},
  booktitle = {The Archive of Formal Proofs},
  year = {2007},
  month = {December},
  publisher = {\url{http://afp.sf.net/entries/JinjaThreads.shtml}},
  author = {Andreas Lochbihler},
  editor = {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  note = {Formal proof development},
  url = {http://afp.sf.net/entries/JinjaThreads.shtml},
}

Authors at the institute

Scientific Staff
Lochbihler, Andreas