CS 591 FM - Formal Methods Seminar

Fall 2019

Formal Methods SeminarCS591FM46417S111530 - 1620 F  ARR Siebel Center for Comp Sci Elsa Gunter

Official Description

Seminar on topics of current interest as announced in the Class Schedule. Course Information: Approved for S/U grading only. May be repeated in the same or separate terms if topics vary. Prerequisite: As specified for each topic offering, see Class Schedule or departmental course description.

Section Description

Topic: Formal Methods.