Formal Verification for Numerical Computations, and the Other Way Around - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. 2019. [doi]

@book{Melquiond19,
  title = {Formal Verification for Numerical Computations, and the Other Way Around},
  author = {Guillaume Melquiond},
  year = {2019},
  url = {https://tel.archives-ouvertes.fr/tel-02194683},
  researchr = {https://researchr.org/publication/Melquiond19},
  cites = {0},
  citedby = {0},
}

runs on WebDSL