APA

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

Chicago

Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. 2010. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. New York, NY: ACM.

Harvard

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

MLA

Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. New York, NY: ACM. 2010.