René Dávila

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Building Blocks

Complex Systems

Formal Verification

Top Venues

Program. Comput. Softw.

Publications

René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
Formal Verification of Blockchain Based Tender Systems. Program. Comput. Softw. 48 (8) (2022)