Projet ProVal
rapport d'avancement final

LRI& INRIA Futurs

1  Composition de l'équipe

2  Avancement

L'avancement des travaux du projet ProVal est décrit dans le rapport final.

3  Perspectives

Rfrences

[1]
Claude March and Nicolas Rousset. Verification of Java Card applets behavior with respect to transactions and card tears. In Dang Van Hung and Paritosh Pandya, editors, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Pune, India, September 2006.

Ce document a t traduit de LATEX par HEVEA