Du cahier de charges au code avec CASL

Michel Bidoit

LSV, CNRS and ENS de Cachan, France