Foundations of Trustworthy AI for the Real World
Sound Notional Machines
Automated Verification of Blockchain Technologies with Correctness Guarantees
XXVIII Dies academicus