Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) CitationProceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
MLA (8th ed.) CitationProceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery (ACM).
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.