Formal Verifcation for Numerical Methods. (Vérification formelle pour les méthodes numériques) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ioana Pasca. Formal Verifcation for Numerical Methods. (Vérification formelle pour les méthodes numériques). PhD thesis, University of Nice Sophia Antipolis, France, 2010. [doi]

@phdthesis{hal-5409,
  title = {Formal Verifcation for Numerical Methods. (Vérification formelle pour les méthodes numériques)},
  author = {Ioana Pasca},
  year = {2010},
  url = {https://tel.archives-ouvertes.fr/tel-00555158},
  researchr = {https://researchr.org/publication/hal-5409},
  cites = {0},
  citedby = {0},
  school = {University of Nice Sophia Antipolis, France},
}

runs on WebDSL