Model Checking - Software Engineering Design Theory and Practice - Armando Fox - Lecture 20 of 20 - Video-lecture

Video-lecture, Software Engineering

Description: This lecture is about Model Checking, Components of Software Engineering Design Theory and Practice. By Armando Fox, Series of lectures part 20 of 20.