NPTEL Video Course : ACM INDIA Annual Event 2024

Lecture 5 - Human Factors of Formal Methods - Shriram Krishnamurthi