Citações do registro
Citação APA (7ª ed.)
Yoon, S., & Choi, J. (2025). Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Citação do estilo Chicago (17ª ed.)
Yoon, Seongho, e Jin-Young Choi. Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE, 2025.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Citação MLA (9ª ed.)
Yoon, Seongho, e Jin-Young Choi. Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE, 2025.
Copiado com sucesso para área de transferência
Falha ao copiar para área de transferência
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.