Skip to content
cs-conference-ranking.org

Theorem Proving for Verification: The Early Days.

J Strother Moore

VenueA*LICS
Year2010
ProceedingsLICS
DBLP recordconf/lics/Moore10 ↗

Browse the full LICS paper archive.