Dates
Friday, April 01, 2022 - 02:40pm to Friday, April 01, 2022 - 03:40pm
Location
NCS 120
![](/sites/default/files/styles/thumbnail/public/default_images/6KbA9AJs_400x400_0.png?itok=JZ3_TJqR)
Event Title
PhD Seminar, Stanley Bak: 'Formal Verification Methods for Cyber-Physical Systems and Neural Networks'