Loading course details…
CIS 623Assured Programming with Formal Methods
Syracuse University · UGRD
Catalog
Catalog description unavailable.
Recent sections
Fall 2026 · 1 section
Aug 25 – Dec 8
| Section | Days & time | Location | Instructor |
|---|---|---|---|
| M001Class #13195 | Tu Th · 2:00 – 3:20 PM | Science & Tech Ctr 4-201 | A. Lee |