1.3.8 – Model Checking

From the course by University of Alberta
Object-Oriented Design
143 ratings
University of Alberta
143 ratings
Course 1 of 4 in the Specialization Software Design and Architecture
From the lesson
Design Principles

Meet the Instructors

  • Kenny Wong
    Kenny Wong
    Associate Professor
    Computing Science, Faculty of Science