Soundness and Completeness

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

Meet the Instructors

  • Dan  Grossman
    Dan Grossman
    Professor
    Computer Science & Engineering

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.