Cita APA (7a ed.)

Sjöberg, V., Dave, K., Britten, D., Schett, M. A., Sun, X., Wang, Q., . . . Shao, Z. (2024). Foundational Verification of Smart Contracts through Verified Compilation.

Cita Chicago Style (17a ed.)

Sjöberg, Vilhelm, Kinnari Dave, Daniel Britten, Maria A. Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, y Zhong Shao. Foundational Verification of Smart Contracts Through Verified Compilation. 2024.

Cita MLA (9a ed.)

Sjöberg, Vilhelm, et al. Foundational Verification of Smart Contracts Through Verified Compilation. 2024.