Claude Marché

Documents

Affiliations actuelles

Publications

845934

"mihaela-sighireanu"

	Specification of UNIX Utilities Nicolas Jeannerod , Claude Marché , Yann Régis-Gianas , Mihaela Sighireanu , Ralf Treinen [Technical Report] ANR. 2019 Rapport hal-02321691v1