ANR BISOUS

Better Synthesis for Underspecified Quantitative Systems

ANR-22-CE48-0012 Project

Project coordinator

Didier lime – laboratoire LS2N ; Ecole Centrale de Nantes

BisoUS (ANR-22-CE48-0012 ) © 2023

Supports des présentations (anrbisous)