APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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