Inria / Raweb 2009
Presentation of the Project π.r²

π.r²

Design, study and implementation of languages for proofs and programs

2009 Research Team Activity Report
Paris - Rocquencourt
Area : Algorithmics, Programming, Software and Architecture

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


previous
next