PL Seminar: Yuhao Zhang
Job Talk Practice: Formal Methods to Ensure the Trustworthiness of Software 2.0
Event Details
Date
Monday, January 29, 2024
Time
12:30-1:30 p.m.
Location
Cost
Free
Contact
Job Talk Practice: Formal Methods to Ensure the Trustworthiness of Software 2.0