Suchergebnisse - "acm: g.: mathematics of computing/g.4: mathematical software/g.4.1: certification AND testing~"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1

    Quelle: https://hal.inria.fr/inria-00135013 ; [Technical Report] RT-0331, INRIA. 2007, pp.35.

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.MS/0703025; Report N°: RT-0331; inria-00135013; https://hal.inria.fr/inria-00135013; https://hal.inria.fr/inria-00135013v2/document; https://hal.inria.fr/inria-00135013v2/file/RT-0331.pdf; ARXIV: cs.MS/0703025