NPTEL Video Course : Automated Program Verification
Lecture 38 - Verification Condition Generation - Part B
Home
Previous
Next
Thumbnails