"Une bibliothèque certifiée de programmes fonctionnels BSP."

Frédéric Gava (2006)

Details and statistics

DOI: 10.3166/TSI.25.1621-1280

access: closed

type: Journal Article

metadata version: 2020-06-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics