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

Publication
22èmes Journées Francophones des Langages Applicatifs (JFLA 2011), La Bresse, France
Avatar
Pierre Roux
Researcher at Onera

Related