Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
XXVIII Dies academicus
Dean's office of the Faculty of Informatics
+41 58 666 4690 [email protected]