Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) CitationProceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
MLA (8th ed.) CitationProceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Warning: These citations may not always be 100% accurate.