APA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering & ACM Special Interest Group on Programming Languages. (2015). Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

Chicago

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. 2015. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

Harvard

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. (2015). Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

MLA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM. 2015.