Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) CitationProceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).
MLA (8th ed.) CitationProceedings of the Seventh 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.