Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.
Citação do estilo Chicago (17ª ed.)Antonino, P., T. Gibson-Robinson, e A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
Citação MLA (9ª ed.)Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.