Fall 2023, 17624: Below is information about CMU Fall 2023 course 17624: Advanced Formal Methods. The course number is 17624 or 17-624. The course Advanced Formal Methods(17624) in Fall 2023 has 6.0 unit. The professor Garlan, Kang is teaching the course Advanced Formal Methods(17624) in Fall 2023. The professor/instructor of Advanced Formal Methods(17624) in Fall 2023 is Garlan, Kang. The department of Advanced Formal Methods(17624) is Social & Decision Sciences. The location of Advanced Formal Methods(17624) is Pittsburgh, Pennsylvania. The room of Advanced Formal Methods(17624) is 3SC 265. The course happens in MW, from 09:30AM to 10:50AM in Fall 2023.
