An approach to enhance students' competency in software verification techniques.

Omar Ochoa, Salamah Salamah

Browse the full FIE paper archive.