*Result*: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
*Corporate*:
*Publication*:
New York, NY : ACM, 2010
*Distribution*:
New York, NY : ACM
*Physical description scale*:
1 Online-Ressource (66 pages)
*Format*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISBN*:
9781450305402