Knowledge-Based Approach to Augment Applications With Interaction Traces Date de l’article 27 mars 2022 ← Extraction et mise en correspondances automatiques d’images → Marie Van Den Bogaard, récompensée pour ses travaux sur la vérification des systèmes réactifs
Laboratoire d'Informatique Gaspard-Monge UMR 8049Laboratoire d'Informatique Gaspard-Monge UMR 8049