Du cahier de charges au code avec CASL

Michel Bidoit

LSV, CNRS and ENS de Cachan, France

WADT'99

 

(Non encore communiqué)