Guillaume Burel
ENSIIE - École nationale supérieure d'informatique pour l'industrie et l'entreprise
Social
2022 Amazon Research Award
Cross-verification of SMT-solvers certificates
