APA

Miculan M., Association for Computing Machinery-Digital Library, . (2017). Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice. New York, NY: ACM.

Chicago

Miculan Marino, Association for Computing Machinery-Digital Library, . 2017. Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice. New York, NY: ACM.

Harvard

Miculan M., Association for Computing Machinery-Digital Library, . (2017). Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice. New York, NY: ACM.

MLA

Miculan Marino, Association for Computing Machinery-Digital Library, . Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice. New York, NY: ACM. 2017.