David Lester (LP2A

Identifiers

No identifiers captured yet.

Papers (1)

1. Stochastic Formal Methods: An application to accuracy of numeric software cs.MS · 2006 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Lp2a) 1 shared papers
• Marc Daumas (LIRMM 1 shared papers
• University of Manchester) 1 shared papers