NPTEL Video Course : Automated Program Verification
Lecture 22 - Towards Automated Verification
Home
Previous
Next
Thumbnails