Automatic Generation of Programs Using Model Checking and Genetic Programming

  • Gal Katz

Student thesis: MA Thesis

Date of Award1 Oct 2007
Original languageHebrew
Awarding Institution
  • Department of Computer Science
SupervisorDoron Peled (Supervisor)

Cite this

'