![](/img/cover-not-exists.png)
[IEEE 2015 IEEE Trustcom/BigDataSE/ISPA - Helsinki, Finland (2015.8.20-2015.8.22)] 2015 IEEE Trustcom/BigDataSE/ISPA - Parallel SMT Solving and Concurrent Symbolic Execution
Rakadjiev, Emil, Shimosawa, Taku, Mine, Hiroshi, Oshima, SatoshiYear:
2015
Language:
english
DOI:
10.1109/trustcom.2015.608
File:
PDF, 231 KB
english, 2015