BibTeX record journals/scp/RebeloLLCMO13

• > Home > journals/scp/RebeloLLCMO13

@article{DBLP:journals/scp/RebeloLLCMO13,
  author       = {Henrique Reb{\^{e}}lo and
                  Ricardo Massa Ferreira Lima and
                  Gary T. Leavens and
                  M{\'{a}}rcio Corn{\'{e}}lio and
                  Alexandre Mota and
                  C{\'{e}}sar A. L. de Oliveira},
  title        = {Optimizing generated aspect-oriented assertion checking code for {JML}
                  using program transformations: An empirical study},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {8},
  pages        = {1137--1156},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.09.003},
  doi          = {10.1016/J.SCICO.2012.09.003},
  timestamp    = {Mon, 04 Apr 2022 11:09:18 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/RebeloLLCMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}