ANR-JCJC RAISIN: Resource-Aware conservatIve StatIc aNalysis

This project is funded through an ANR Young Researcher Grant (JCJC), and started in Fall 2024.

Participants:

• Julien Forget
• Sophie Cerf

ANR page.