Rapport d'activité - I3S
des mécanismes, la géométrie et le génie logiciel. Les .... il s'agit de problèmes
NP-difficiles pour lesquels il est .... valles modaux, ce genre d'arithmétique
permet d'em- ... venons d'écrire calcule bien la fonction que nous pen- .... entre
un programme écrit en JAVA et sa spécification ...... Rapport technique, INRIA/Air
-.