ListarProyectos finales Pregrado en Ingeniería de Sistemas y Computación por tema "Language"

Mostrando ítems 1-1 de 1

    • Formal Methods for Smart Contracts 

      Bell Llinas, José Vicente; Ramírez Payares, Andrés Felipe; Vergara Arrieta, Juan Camilo (Barranquilla, Universidad del Norte, 2019, 2019-05-20)