Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).
Description: AUTOMATED PROGRAM VERIFICATION
*****
Methods, tools and theories for the computer-aided verification of concurrent systems. Repeatable for Credit.