David A. Ramos [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Under-Constrained Symbolic Execution: Correctness Checking for Real Code SecuritySymposium-2015 - washington,USA