Seminars
Week of May 22, 2022
Thursday, May 26, 2022
May 26
4:15 p.m. - 5:45 p.m.
CS 201 | Employing Formal Methods at Scale for a Reliable Cloud, RYAN BECKETT, Microsoft Research
Powered by
WebEvent (tm)
.