Soundness and Completeness

Loading...
From the course by University of Washington
Programming Languages, Part B
308 ratings
University of Washington
308 ratings
From the lesson
Section 7 Including a Quiz

Meet the Instructors

  • Dan  Grossman
    Dan Grossman
    Professor
    Computer Science & Engineering