Edmund M. Clarke

Posted by on Saturday, January 28, 2012 · Leave a Comment 

30 Years of Model Checking

DATE:Wednesday, January 25, 2012

At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.

Filed under Talks · Tagged with

Comments are closed.