Class # Subject Catalog # Section Title Enrollment Cap Wait List Currently Enrolled Seats Available
15406 CS 6110 001 Formal Mthds Sys Design 20 0 23 -3