Cita APA (7a ed.)

Ball, T., Bjørner, N. S., Chen, A. J., Chen, S., Chen, Y., Guo, Z., . . . Luo, N. (2024). Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety.

Cita Chicago Style (17a ed.)

Ball, Thomas, Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen, Yang Chen, Zhongxin Guo, Tzu-Han Hsu, Peng Liu, y Nanqing Luo. Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety. 2024.

Cita MLA (9a ed.)

Ball, Thomas, et al. Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety. 2024.