Skip to content
cs-conference-ranking.org

Abstract interpretation of Michelson smart-contracts.

Guillaume Bau, Antoine Min, Vincent Botbol, Mehdi Bouaziz

VenueA*PLDI
Year2022
ProceedingsSOAP@PLDI
DBLP recordconf/pldi/BauMBB22 ↗

Browse the full PLDI paper archive.