Skip to main content

MadSystems Seminar

[Discussion] Verification

Event Details

Date
Tuesday, October 15, 2024
Time
4 p.m.
Location
Description

Prof. Tej Chajed will give a discussion/tutorial on systems verification.

Reading list:

Cost
Free

Tags