Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice. Association for Computing Machinery (ACM).
Citación estilo ChicagoProceedings of the Seventh International Workshop on Logical Frameworks and Meta-languages, Theory and Practice. Association for Computing Machinery (ACM).
Cita MLAProceedings 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.