Cita APA (7a ed.)

Dávila Pérez, R. A., & Bárcenas Patiño, I. E. (2022). Formal verification of blockchain based tender systems.

Cita Chicago Style (17a ed.)

Dávila Pérez, René Adrián, y Ismael Everardo Bárcenas Patiño. Formal Verification of Blockchain Based Tender Systems. 2022.

Cita MLA (8a ed.)

Dávila Pérez, René Adrián, y Ismael Everardo Bárcenas Patiño. Formal Verification of Blockchain Based Tender Systems. 2022.