„UTxO separation logic“

Suchergebnisse

1 Treffer

• Program Logics for Ledgers
  Melkonian, Orestis ; Swierstra, Wouter ; Chapman, James 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik