Une bibliothèque certifi ée de programmes fonctionnels BSP (2004)

by F Gava
Venue:Jourńees Francophones des Langages Applicatif, JFLA. INRIA