Accueil > Verimag > Séminaires

Détails sur le séminaire

IMAG 206
7 juin 2016 - 14h00
constraints programming & abstract interpretation
par Charlotte Truchet de Université de Nantes

Abstract: First an introduction to constraints programming, then relationship to abstract interpretation.

Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3943487

UGA

CNRS

INP Grenoble