APA
Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, . (2016). Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.
Chicago
Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, . 2016. Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.
Harvard
Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, . (2016). Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.
MLA
Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, . Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM. 2016.