Style de citation APA (7e éd.)

Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.

Style de citation Chicago (17e éd.)

Antonino, P., T. Gibson-Robinson, et A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.

Style de citation MLA (9e éd.)

Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.