Send the following on WhatsApp
Continue to ChatProgram verification in the undergraduate CS curriculum http://www.pl-enthusiast.net/2014/07/17/program-verification-in-the-undergraduate-cs-curriculum/
Program verification in the undergraduate CS curriculum http://www.pl-enthusiast.net/2014/07/17/program-verification-in-the-undergraduate-cs-curriculum/