@phdthesis{aitelhara:tel-05383515,
  TITLE = {{Theory of sequences tailored for program verification}},
  AUTHOR = {Ait El Hara, Hichem Rami},
  URL = {https://theses.hal.science/tel-05383515},
  NUMBER = {2025UPASG067},
  SCHOOL = {{Universit{\'e} Paris-Saclay}},
  YEAR = {2025},
  MONTH = Oct,
  KEYWORDS = {Constraint programming ; Constraint solver ; Satisfiability Modulo Theories ; SMT solver ; Theory of sequences ; Program verification ; Programmation par contraintes ; Solveur de contraintes ; Satisfibilit{\'e} Modulo Th{\'e}ories ; Solveur SMT ; Th{\'e}orie des s{\'e}quences ; V{\'e}rification de programmes},
  TYPE = {Theses},
  PDF = {https://theses.hal.science/tel-05383515v1/file/151738_AITELHARA_2025_archivage.pdf},
  HAL_ID = {tel-05383515},
  HAL_VERSION = {v1},
}