APA (7th ed.) Citation

Chlipala, A. (2012). Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery.

Chicago Style (17th ed.) Citation

Chlipala, Adam. Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. New York,NY,United States: Association for Computing Machinery, 2012.

MLA (9th ed.) Citation

Chlipala, Adam. Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery, 2012.

Warning: These citations may not always be 100% accurate.