Georg Weissenbacher

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

Battling Bugs with Interpolants

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.