The 2009 Visions of Computing Lecture: Model Checking Over Time

03/02/2009 -   March 2 , 2009 from 4:15 p.m. - 5:30 p.m. Lecture in Avaya Auditorium, ACES 2.302; private reception for invited guests followed from 5:45 p.m. - 7:30 p.m. Read more
Subscribe to Topic: ACM Turing Award