CAV 2020 Hauptvortrag: Formale Verifikation von Smart Contracts auf der Libra-Blockchain - David Dill | Knoovi