Spring 2024, 15414: Below is information about CMU Spring 2024 course 15414: Bug Catching: Automated Program Verification. The course number is 15414 or 15-414. The course Bug Catching: Automated Program Verification(15414) in spring 2024 has 9.0 unit. The professor Martins is teaching the course Bug Catching: Automated Program Verification(15414) in spring 2024. The professor/instructor of Bug Catching: Automated Program Verification(15414) in spring 2024 is Martins. The department of Bug Catching: Automated Program Verification(15414) is Computer Science. The location of Bug Catching: Automated Program Verification(15414) is Pittsburgh, Pennsylvania. The room of Bug Catching: Automated Program Verification(15414) is HH B131. The course happens in TR, from 12:30PM to 01:50PM in spring 2024.
