Conference Proceedings

TRACER: A symbolic execution tool for verification

J Jaffar, V Murali, JA Navas, AE Santosa

Lecture Notes in Computer Science | Published : 2012

Citation metrics