Cite
HARVARD Citation
Sözer, H. (2015). Integrated static code analysis and runtime verification. Software, practice & experience. pp. 1359-1373. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Sözer, H. (2015). Integrated static code analysis and runtime verification. Software, practice & experience. pp. 1359-1373. [Online].