NPTEL Video Course : Automated Program Verification

Lecture 50 - Concrete and Abstract Join Over Path