Caz-Hab-03

@mastersthesis{Caz-Hab-03,
title = {Recherche s{\'e}lective et g{\'e}n{\'e}ration automatique de programmes},
author = {Tristan Cazenave},
type = {Habilitation thesis},
school = {Univ. Paris 8, Lab. d'Intelligence Artificielle},
address = {2 Rue de la Libert{\'e}, 93526 Saint-Denis Cedex 02, France},
month = {Jan},
year = {2003},
url = {http://www.ai.univ-paris8.fr/~cazenave/habil.pdf}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!