Inria / Raweb 2005
Presentation of the Project PROTHEO

PROTHEO

Constraints, Mechanized Deduction and Proofs of Software Properties

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


previous
next