Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Citação norma ChicagoProceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Citação norma MLAProceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.