University of Wisconsin-La Crosse
Class confirmed
CS745
Fall 2026 · 2 sections
You found CS 745.
Software Modeling, Analysis, and Verification
Harbor turns your CS 745 notes into a readiness map so you can see what looks solid, shaky, or missing.
Built from this class—not a generic study guide.
Free to open · No card