Software inspections: comparing a formal method based with a classical reading methodology

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Albino Vieira Freitas, Cleyton De Castro Mario. Software inspections: comparing a formal method based with a classical reading methodology. IJCAT, 59(4):296-317, 2019. [doi]

@article{SantosJPFM19,
  title = {Software inspections: comparing a formal method based with a classical reading methodology},
  author = {Luciana Brasil Rebelo dos Santos and Valdivino Alexandre de Santiago Júnior and Lucas Venezian Povoa and Albino Vieira Freitas and Cleyton De Castro Mario},
  year = {2019},
  doi = {10.1504/IJCAT.2019.099198},
  url = {https://doi.org/10.1504/IJCAT.2019.099198},
  researchr = {https://researchr.org/publication/SantosJPFM19},
  cites = {0},
  citedby = {0},
  journal = {IJCAT},
  volume = {59},
  number = {4},
  pages = {296-317},
}