CS310 Introduction to Software Specifications Course assignments and midterm from lectures in Winter 2023 Course website
