Chlipala, A. (2012). Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery.
Chicago-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)Chlipala, Adam. Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery, 2012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.