Jinja With Threads (2007)

by A Lochbihler
Venue:The Archive of Formal Proofs. http://afp.sf.net/entries/JinjaThreads.shtml