BibTeX record journals/monet/LeDT17

download as .bib file

@article{DBLP:journals/monet/LeDT17,
  author       = {Hong Anh Le and
                  Thi{-}Huong Dao and
                  Ninh{-}Thuan Truong},
  title        = {A Formal Approach to Checking Consistency in Software Refactoring},
  journal      = {Mob. Networks Appl.},
  volume       = {22},
  number       = {2},
  pages        = {356--366},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11036-017-0807-z},
  doi          = {10.1007/S11036-017-0807-Z},
  timestamp    = {Thu, 14 Oct 2021 08:52:27 +0200},
  biburl       = {https://dblp.org/rec/journals/monet/LeDT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics