DMCA

TRACER: A Symbolic Execution Tool for Verification

by Joxan Jaffar , Vijayaraghavan Murali , Jorge A. Navas , Andrew , E. Santosa
Citations:20 - 6 self