Séminaire : « Program Development Using Abstract Interpretation »
Laboratoire LCIS 50 Rue Barthélémy de Laffemas, ValencePrésentation par Laure GONNORD et Christophe DELEUZE Mercredi 13 avril à 16h15, Laure GONNORD et Christophe DELEUZE ont présenté le séminaire qui avait pour thème "Program Development Using Abstract Interpretation". […]
