APA

Claessen K., Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering & ACM Special Interest Group on Programming Languages. (2014). Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc.

Chicago

Claessen Koen, Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. 2014. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc.

Harvard

Claessen K., Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. (2014). Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc.

MLA

Claessen Koen, Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc. 2014.