www.WebEvent.com

Jan 6

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

CS 201: Proving that Programs Eventually Do Something Good, BYRON COOK, Microsoft Research


	Jan 6	4:15 p.m. - 5:45 p.m.	CS 201: Proving that Programs Eventually Do Something Good, BYRON COOK, Microsoft Research