NPTEL Video Course : Automated Program Verification
Lecture 25 - Strongest Post Condition - Part C : Compound Statements
Home
Previous
Next
Thumbnails