Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„UTxO separation logic“
Suchergebnisse
1 Treffer
Program Logics for Ledgers
Melkonian, Orestis ; Swierstra, Wouter ; Chapman, James
2025
Schloss Dagstuhl – Leibniz-Zentrum für Informatik