NPTEL Video Course : NOC:Parallel Computer Architecture

Lecture 46 - Proving Correctness - 2