Miculan, M. (2017). Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery.
Chicago-Zitierstil (17. Ausg.)Miculan, Marino. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. New York,NY,United States: Association for Computing Machinery, 2017.
MLA-Zitierstil (9. Ausg.)Miculan, Marino. Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.