Design and verification of Bitcoin smart contracts with BitML
Hosted By
Tatiana S.
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/
CV Labs Zug
See more events
CV Labs, Liquid Lounge (4th floor)
Dammstrasse 16 · Zug, al
Design and verification of Bitcoin smart contracts with BitML