Publications Here are listed the publications financed by the ANR FPT-4. Software developed by members of the project Verificarlo CADNA PROMISE VERROU FLDLIB Publications of the project