Class # Subject Catalog # Section Title Enrollment Cap Wait List Currently Enrolled Seats Available
17494 CS 6110 001 Formal Mthds Sys Design 15 0 12 3