Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Cita Chicago Style (17a ed.)Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Cita MLA (9a ed.)Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Precaución: Estas citas no son 100% exactas.