BibTeX record phd/hal/Zitoun18

download as .bib file

@phdthesis{DBLP:phd/hal/Zitoun18,
  author       = {Heytem Zitoun},
  title        = {Strat{\'{e}}gies de recherches d{\'{e}}di{\'{e}}es
                  {\`{a}} la r{\'{e}}solution de syst{\`{e}}mes de contraintes
                  sur les flottants pour la v{\'{e}}rification de programmes. (Search
                  strategies for solving constraint systems over floats for program
                  verification)},
  school       = {University of C{\^{o}}te d'Azur, Nice, France},
  year         = {2018},
  url          = {https://tel.archives-ouvertes.fr/tel-02011939},
  timestamp    = {Tue, 21 Jul 2020 00:40:35 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Zitoun18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.