Identifiant pérenne de la notice : 276715292
Notice de type
Personne
Contribution to SAT-based Bounded Model Checking / Anissa Kheireddine ; sous la direction
de Souheib Baarir et Etienne Renault. Thèse de doctorat : Sciences et technologies
de l'information et de la communication : Sorbonne université : 2023