A Formal Framework for Patch Management

Guillermo A. Francia III, Kihyun Kim, Byungoh Ahn, Sen-xin Zhou. A Formal Framework for Patch Management. IJITN, 5(2):18-31, 2013. [doi]

@article{FranciaKAZ13,
  title = {A Formal Framework for Patch Management},
  author = {Guillermo A. Francia III and Kihyun Kim and Byungoh Ahn and Sen-xin Zhou},
  year = {2013},
  doi = {10.4018/jitn.2013040102},
  url = {http://dx.doi.org/10.4018/jitn.2013040102},
  researchr = {https://researchr.org/publication/FranciaKAZ13},
  cites = {0},
  citedby = {0},
  journal = {IJITN},
  volume = {5},
  number = {2},
  pages = {18-31},
}