Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT

Pierre Roux, Pierre-Loic Garoche
January 2011
PDF Cite
Type
Conference paper
Publication
22èmes Journées Francophones des Langages Applicatifs (JFLA 2011), La Bresse, France
"workshop" "own"
Pierre Roux
Pierre Roux
Researcher at Onera

Related