www.WebEvent.com

Apr 20

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

CS 201: Model-Driven Software Verification, DR. GERARD HOLZMANN, Jet Propulsion Laboratory


	Apr 20	4:15 p.m. - 5:45 p.m.	CS 201: Model-Driven Software Verification, DR. GERARD HOLZMANN, Jet Propulsion Laboratory