Skip to content
cs-conference-ranking.org

Ivy: A Multi-modal Verification Tool for Distributed Algorithms.

Kenneth L. McMillan, Oded Padon

VenueA*CAV
Year2020
ProceedingsCAV (2)
DBLP recordconf/cav/McMillanP20 ↗

Browse the full CAV paper archive.