APA

Claessen K., Association for Computing Machinery, ACM Special Interest Group on Programming Languages & ACM Special Interest Group on Algorithms and Computation Theory. (2012). Proceedings of the sixth workshop on Programming languages meets program verification. New York, NY: ACM.

Chicago

Claessen Koen, Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. 2012. Proceedings of the sixth workshop on Programming languages meets program verification. New York, NY: ACM.

Harvard

Claessen K., Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. (2012). Proceedings of the sixth workshop on Programming languages meets program verification. New York, NY: ACM.

MLA

Claessen Koen, Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. Proceedings of the sixth workshop on Programming languages meets program verification. New York, NY: ACM. 2012.