Inria / Raweb 2009
Presentation of the Team MExICo

MExICo

Modelling and Exploitation of Interaction and Concurrency

2009 Research Team Activity Report
Saclay - Île-de-France
Area : Algorithmics, Programming, Software and Architecture

Theme : Programs, Verification and Proofs
Presentation of the Team - Activity Report in PDF or XML format


previous
next