Skip to content
cs-conference-ranking.org

Nagini: A Static Verifier for Python.

Marco Eilers, Peter Mller

VenueA*CAV
Year2018
ProceedingsCAV (1)
DBLP recordconf/cav/Eilers018 ↗

Browse the full CAV paper archive.