www.WebEvent.com

Oct 20

4:15 p.m. - 5:45 p.m.

CS 201: Network Verification - When Hoare Meets Cerf, GEORGE VARGHESE, Microsoft Research


	Oct 20	4:15 p.m. - 5:45 p.m.	CS 201: Network Verification - When Hoare Meets Cerf, GEORGE VARGHESE, Microsoft Research