[L3/M1/M2 Internship] Topics in Formally Verified Compilation

Verimag proposes several internship topics around CompCert, a formally verified compiler. See details in the attached pdf.


titre documents joints

Detailed Description

20 octobre 2021
info document : PDF
50 ko

Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1801355