Proving programs correct in Discrete Structures Explained - Video lecture

Prof. Kamala Krithivasan, Department of Computer Science and Engineering, IIT Madras explained the concept of Proving programs correct in Discrete Mathematical Structures. Feel free to ask your questions and contribute your ideas here...



[video=youtube;WoPuWLNdtOY]https://www.youtube.com/watch?v=WoPuWLNdtOY&feature=player_profilepage[/video]