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