*Result*: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs
*Corporate*:
*Publication*:
New York, NY : ACM, 2016
*Distribution*:
New York, NY : ACM
*Physical description scale*:
1 Online-Ressource (76 pages)
*Format*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISBN*:
9781450344395