Cite
HARVARD Citation
Chen, T. et al. (2013). Design and implementation of a dynamic symbolic execution tool for windows executables. Journal of software. 25 (12), pp. 1249-1272. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Chen, T. et al. (2013). Design and implementation of a dynamic symbolic execution tool for windows executables. Journal of software. 25 (12), pp. 1249-1272. [Online].