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