Inria / Raweb 2009
Presentation of the Project MARELLE
previous up next PDF XML

MARELLE

Mathematics, Reasoning, and Software

2009 Research Team Activity Report
Sophia Antipolis - Méditerranée
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