Ce 3 novembre 2015, Raphael Michel a présenté la défense publique de sa thèse consacrée aux lignes de produits logiciel. Raphael qui a mené sa thèse au CETIC dans le cadre du projet DOC.A CALiPRo est à présent docteur de (...)
SAT/SMT Solver Summer School