APA

Bjesse P., Association for Computing Machinery, ACM Special Interest Group on Software Engineering & ACM Special Interest Group on Programming Languages. (2011). Proceedings of the International Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc.

Chicago

Bjesse Per, Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. 2011. Proceedings of the International Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc.

Harvard

Bjesse P., Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. (2011). Proceedings of the International Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc.

MLA

Bjesse Per, Association for Computing Machinery, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. Proceedings of the International Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc. 2011.