CS 591 FM
CS 591 FM - Formal Methods Seminar
Spring 2025
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Formal Methods Seminar | CS591 | FM | 53701 | S3 | 1 | 1400 - 1450 | F | Madhusudan Parthasarathy |
See full schedule from Course Explorer
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.