TPTP Reference: Loc10
@InProceedings{Loc10,
Author = "Lochbihler, A.",
Year = "2010",
Title = "{Verifying a Compiler for Java Threads}",
Editor = "Gordon, A.D.",
BookTitle = "{Proceedings of the 19th European Symposium on
Programming}",
Place = "Paphos, Cyprus",
Series = "Lecture Notes in Computer Science",
Number = "6012",
Pages = "427-447",
Comment = ""
}
@Article{Loc10-AFP,
Author = "Lochbihler, A.",
Year = "2010",
Title = "{Coinductive}",
Journal = "Archive of Formal Proofs",
Note = "http://isa-afp.org/entries/Coinductive.shtml",
Comment = "TPTPRef"
}