Return to Older projects
Coordinator: BAMBOO (sole partner) Duration: 2009-2013
Brief description MIRI served as starting point for SISYPHE. Its main topics are a subset of the ones addressed by SISYPHE.
Permanent link to this article: https://team.inria.fr/erable/en/older-projects/anr-miri/