Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.
Chicagoスタイル(17版)引用形式Antonino, P., T. Gibson-Robinson, , A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
MLA(9版)引用形式Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
警告: この引用は必ずしも正確ではありません.