Inria / Raweb 2008
Presentation of the Project Mosel

Mosel

Proof-oriented development of computer-based systems

2008 Research Team Activity Report
Nancy - Grand Est
Theme : SYM
Presentation of the Project-Team - Activity Report in PDF or XML format


previous
next