Explore projects

Verimag's fork of CompCert

see https://gates-data-shs.gricad-pages.univ-grenoble-alpes.fr/blog

Practical sessions of module 09 - Quantitative Image Analysis for Mechanics