APA

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

Chicago

Dietl Werner, Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. 2013. Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

Harvard

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

MLA

Dietl Werner, Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM. 2013.