Published On Oct 27, 2021
Matteo Maffei gave this talk in the seminar on "Rigorous Methods for Smart Contracts" at Schloss Dagstuhl on October 25, 2021.
show more
Matteo Maffei gave this talk in the seminar on "Rigorous Methods for Smart Contracts" at Schloss Dagstuhl on October 25, 2021.
