Design and verification of Bitcoin smart contracts with BitML

Dies ist ein vergangenes Event

31 Personen haben teilgenommen

Bild des Veranstaltungsortes

Details

Join us in CV Labs on May 22nd at 6:00pm. Prof. Dr Massimo Bartoletti will discuss the design and verification of Bitcoin smart contracts with BitML.

This is part of the Lecture Series on Blockchain organised by UZH.

TOPIC: “Design and verification of Bitcoin smart contracts with BitML”

SPEAKER: Prof. Dr Massimo Bartoletti, Dip. Matematica e Informatica, Università di Cagliari, Italia

Check out the UZH Blockchain Center Meetup page
https://www.meetup.com/UZH-Blockchain-Center/