A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections.

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Jnior, Albino Vieira Freitas

Browse the full ICCSA paper archive.