Skip to content
cs-conference-ranking.org

Computer-Hindered Verification (Humans Can Do It Too).

Leslie Lamport

VenueA*CAV
Year1992
ProceedingsCAV
DBLP recordconf/cav/Lamport92 ↗

Browse the full CAV paper archive.