Lista de

Licenciado en Ciencias de la Computación
53
2019
1
Bogdanich Espina, Vera. (2019). "Ethereum smart contracts verification : a survey and a prototype tool". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.