Lec 46: Proving Correctness (2)
Channel: NPTEL IIT Guwahati
Date: 2024-03-07

Parallel Computer Architecture
Playlist Link:  https://onlinecourses.nptel.ac.in/noc24_cs63/preview

Prof. Hemangee K. Kapoor
Department of Computer Science Engineering
Indian Institute of Technology Guwahati