Search Results - "ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.1: Certification and testing"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Source: 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