Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) ZitazioaProceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).
MLA (9th ed.) ZitazioaProceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).
Kontuz: berrikusi erreferentzia hauek erabili aurretik.