BibTeX record journals/stvr/MartinelliM12

download as .bib file

@article{DBLP:journals/stvr/MartinelliM12,
  author       = {Fabio Martinelli and
                  Ilaria Matteucci},
  title        = {A framework for automatic generation of security controller},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {22},
  number       = {8},
  pages        = {563--582},
  year         = {2012},
  url          = {https://doi.org/10.1002/stvr.441},
  doi          = {10.1002/STVR.441},
  timestamp    = {Sat, 30 Sep 2023 10:27:14 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/MartinelliM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}