Tim Alberdingk Thijm FPO "Modular Control Plane Verification" CS 105 & Zoom
Date and Time
Friday, February 9, 2024 - 1:30pm to 3:30pm
Location
Not yet determined.
Type
FPO
"Modular Control Plane Verification"
Zoom link:
https://princeton.zoom.us/j/95302742818