ipdlogo 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

Authors at the institute

Scientific Staff
Lochbihler, Andreas