Cite
HARVARD Citation
Dong, Y. (2018). A sound abstract memory model for static analysis of C programs. International journal of computational science and engineering. pp. 255-264. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Dong, Y. (2018). A sound abstract memory model for static analysis of C programs. International journal of computational science and engineering. pp. 255-264. [Online].