Inria / Raweb 2003
Project: PROTHEO

Constraints, Mechanized Deduction and Proofs of Software Properties

PROTHEO

2003 research project activity report
Lorraine
Theme: 2A
Presentation of the project - Activity report in PostScript, PDF or XMLformat


previous
next