Andreas Ibing [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
SMT-Constrained Symbolic Execution Engine for Integer Overflow Detection in C Code ISSA-2015 - johannesburg,South africa