ANR-JCJC RAISIN: Resource-Aware conservatIve StatIc aNalysis
This project is funded through an ANR Young Researcher Grant (JCJC), and will start in Fall 2024. More details, including job offers and participants will be posted soon.
Participants:
This project is funded through an ANR Young Researcher Grant (JCJC), and will start in Fall 2024. More details, including job offers and participants will be posted soon.
Participants: