Verimag

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 3.0.26 + AHUNTSIC [CC License]

info visites 912732