Selected Scientific Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is software verification and Author is Anthony Alezan  [Clear All Filters]
Conference Paper
Alezan A, Bagnara R, Mesnard F, Payet É.  2013.  Détection des fonctions de rang linéaires à terme. Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013). PDF icon AlezanBMP13JFPC.pdf (286.56 KB)