Proceedings of the 7th International Workshop on Satisfiability Modulo Theories. Association for Computing Machinery (ACM).
Citação do estilo Chicago (17ª ed.)Proceedings of the 7th International Workshop on Satisfiability Modulo Theories. Association for Computing Machinery (ACM).
Citação MLA (9ª ed.)Proceedings of the 7th International Workshop on Satisfiability Modulo Theories. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.