NPTEL Video Course : Automated Program Verification
Lecture 41 - Introduction to Abstract Interpretation
Home
Previous
Next
Thumbnails