Inria / Raweb 2006
Presentation of the Project PROTHEO

PROTHEO

Constraints, Mechanized Deduction and Proofs of Software Properties

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


previous
next