Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet. Formal methods in dynamic software updating: a survey. IJCCBS, 9(1/2):76-114, 2019. [doi]
@article{LounasML19,
title = {Formal methods in dynamic software updating: a survey},
author = {Razika Lounas and Mohamed Mezghiche and Jean-Louis Lanet},
year = {2019},
doi = {10.1504/IJCCBS.2019.098794},
url = {https://doi.org/10.1504/IJCCBS.2019.098794},
researchr = {https://researchr.org/publication/LounasML19},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {9},
number = {1/2},
pages = {76-114},
}