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.
ANR MIRI
Permanent link to this article: https://team.inria.fr/erable/en/older-projects/anr-miri/