Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
XXVIII Dies academicus
Decanato della Facoltà di scienze informatiche
+41 58 666 4690 [email protected]