Cite
HARVARD Citation
Holzmann, G. (2017). Cobra: a light-weight tool for static and dynamic program analysis. Innovations in systems and software engineering. pp. 35-49. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Holzmann, G. (2017). Cobra: a light-weight tool for static and dynamic program analysis. Innovations in systems and software engineering. pp. 35-49. [Online].