FMBC 2021: 3RD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
PROGRAM FOR MONDAY, JULY 19TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

8:00
8:30
9:00
9:30
10:00
08:00-08:55
Thi Thu Ha Doan, Peter Thiemann
08:00-08:55
S. Conchon, A. Korneva, M. Iguernlala, A. Mebsout, Ç. Bozman
08:00-08:55
S. Bistarelli, R. De Nicola, L. Galletta, C. Laneve, I. Mercanti, A. Veschetti