APA

Chlipala A., Association for Computing Machinery & ACM Special Interest Group on Programming Languages. (2012). Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. New York, NY: ACM.

Chicago

Chlipala Adam, Association for Computing Machinery and ACM Special Interest Group on Programming Languages. 2012. Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. New York, NY: ACM.

Harvard

Chlipala A., Association for Computing Machinery and ACM Special Interest Group on Programming Languages. (2012). Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. New York, NY: ACM.

MLA

Chlipala Adam, Association for Computing Machinery and ACM Special Interest Group on Programming Languages. Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. New York, NY: ACM. 2012.