Skip to content
cs-conference-ranking.org

Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard.

Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova

VenueA*CAV
Year2021
ProceedingsFMBC@CAV
DBLP recordconf/cav/GabbayJS21 ↗

Browse the full CAV paper archive.