Cite
HARVARD Citation
Lounas, R. et al. (2019). Formal methods in dynamic software updating: a survey. International journal of critical computer-based systems. pp. 76-114. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Lounas, R. et al. (2019). Formal methods in dynamic software updating: a survey. International journal of critical computer-based systems. pp. 76-114. [Online].