www.WebEvent.com

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


	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