Projet
Projet sur: Finding inductive invariants using satisfiability modulo theories and convex optimization
Institut National Polytechnique de Toulouse
Période: du 03-06-2020 à 03-06-2024
t nunc commodo placerat praesent blandit nam nulla integer pede justo lacinia eget tincidunt eget tempus vel pede morbi porttitor lorem id ligula suspendisse ornare consequat lectus in est risus auctor sed tristique in tempus sit
Responsable
BELHADJ Abderrahim