Claude Marché

Documents

Affiliations actuelles

Publications

964682

"virgile-prevosto"

	ANSI/ISO C Specification Language Version 1.20 Patrick Baudin , Pascal Cuoq , Jean-Christophe Filliâtre , Claude Marché , Benjamin Monate CEA List. 2024 Rapport hal-04523865v1