MadSystems Seminar
[Discussion] Verification
Event Details
Date
Tuesday, October 15, 2024
Time
4 p.m.
Location
4310 Computer Sciences
Description
Prof. Tej Chajed will give a discussion/tutorial on systems verification.
Reading list:
Cost
Free
Contact