12th Workshop on Formal Techniques for Java-like Programs. 2010.
Conference: FTfJP2010
@proceedings{ftfjp:2010, title = {12th Workshop on Formal Techniques for Java-like Programs}, year = {2010}, tags = {Java}, researchr = {https://researchr.org/publication/ftfjp%3A2010}, cites = {0}, citedby = {0}, booktitle = {12th Workshop on Formal Techniques for Java-like Programs}, conference = {FTfJP}, }