Loading course details…
CS 5392FORMAL METHODS SOFTWARE ENGR
Texas State University · 3 credits
Catalog
Catalog description unavailable.
Recent sections
Fall 2026 · 2 sections
Aug 19 – Dec 10
| Section | Days & time | Location | Instructor |
|---|---|---|---|
| 001Class #14809 | Tu · 6:30 – 9:20 PM | Derrick Hall 00235 | Podorozhny, Rodion |
| 001 notes: San Marcos Campus; Lecture; Face to Face | |||
| R02Class #14810 | |||