Verimag

Seminar details

IMAG 206
7 June 2016 - 14h00
constraints programming & abstract interpretation
by Charlotte Truchet from Université de Nantes



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




Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 875796