Sobre nosotros
Investigación
Noticias/Artículos
Nuestro equipo
Eventos
Cursos
Contacto
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