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.
Precaución: Estas citas no son 100% exactas.