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