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