Rene Davila, Rocio Aldeco-Perez y Everardo Barcenas, “Formal Verification of Blockchain Based Tender Systems”, Programming and Computer Software, Springer ISSSN 0361-7688, Special Issue 2022.

2022