Model Checking
(onlinecourses.nptel.ac.in)
Also available on classcentral.com.
By Chennai Mathematical Institute via Swayam
(onlinecourses.nptel.ac.in)
Also available on classcentral.com.
By Chennai Mathematical Institute via Swayam