Inria / Raweb 2007
Presentation of the Project Gallium

Gallium

Programming languages, types, compilation and proofs

2007 Research Team Activity Report
Paris - Rocquencourt
Theme : SYM
Presentation of the Project-Team - Activity Report in PDF or XML format


previous
next