Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
XXVIII Dies academicus
This content is currently available only in Italian.
For information: [email protected]