Inria / Raweb 2010
Presentation of the Project r2

$ \pi$r2

Design, study and implementation of languages for proofs and programs

2010 Research Team Activity Report
Paris - Rocquencourt
Field : Algorithmics, Programming, Software and Architecture

Theme : Programs, Verification and Proofs
Presentation of the Project-Team - Activity Report in PDF or XML or ePub (test) format