J. Nathan Foster and Dimitrios Vytiniotis
31 March 2006
This is an unofficial reimagining of the Archive of Formal Proofs
FeatherweightJava-AFP
@article{FeatherweightJava-AFP, author = {J. Nathan Foster and Dimitrios Vytiniotis}, title = {A Theory of Featherweight Java in Isabelle/HOL}, journal = {Archive of Formal Proofs}, month = March, year = 2006, note = {\url{http://isa-afp.org/entries/FeatherweightJava.html}, Formal proof development}, ISSN = {2150-914x}, }
Older releases: