Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Siegfried Rasthofer
conf.researchr.org general profile
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
x
Thu 28 Sep 10:19