cs-conference-ranking.org Search 971 venues

Equational Reasoning on x86 Assembly Code.

Kevin Coogan, Saumya K. Debray

VenueCSCAM

Year2011

ProceedingsSCAM

DBLP recordconf/scam/CooganD11 ↗

Browse the full SCAM paper archive.