www.WebEvent.com

Jan 16

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

CS 201: Dafny: A Programming System for Program Correctness, RUSTAN LEINO, Microsoft Research


	Jan 16	4:15 p.m. - 5:45 p.m.	CS 201: Dafny: A Programming System for Program Correctness, RUSTAN LEINO, Microsoft Research