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]
Abstract is missing.