Title
Formal methods in dynamic software updating: a survey.
Year
DOI
Venue
2019
10.1504/IJCCBS.2019.098794
IJCCBS
Field
DocType
Volume
Software engineering,Dynamic software updating,Computer science,Formal methods,Distributed computing
Journal
9
Issue
Citations 
PageRank 
1/2
1
0.37
References 
Authors
0
3
Name
Order
Citations
PageRank
Razika Lounas141.78
Mohamed Mezghiche22511.68
Jean-Louis Lanet338143.44