Inria / Raweb 2010
Presentation of the Team MExICo
previous up next PDF XML

MExICo

Modeling and Exploitation of Interaction and Concurrency

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

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

previous
next