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 (Int. J. Comput. Appl. Technol., 2019)