• Sign in
  • Sign up
conf.researchr.org / Siegfried Rasthofer
  • PLDI 2015 profile

Not registered as user yet

Name:Siegfried Rasthofer

Contributions

2015

SOAP

  • Author of Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis within the SOAP-track
Share
xThu 28 Sep 10:19
using conf.researchr.org (v1.61.3)
Support page
Sign Up