Model Checking Based Genetic Programming

11^th June 2009, 16:00
Prof Doron Peled
Department of Computer Science, Bar Ilan University, Israel