Now showing items 1-1 of 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)