NPTEL Video Course : NOC:Parallel Computer Architecture

Lecture 45 - Proving Correctness - 1