Author: David Lester

David Lester

David Lester

Publications

Publication period start: 2007
Publication period end: 2007
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Marc Daumas
1

Productive Colleagues

Most productive colleagues in number of publications
Marc Daumas
2

Publications

Daumas, Marc, Lester, David (2007): Stochastic Formal Methods: An Application to Accuracy of Numeric Software. In: HICSS 2007 - 40th Hawaii International International Conference on Systems Science 3-6 January, 2007, Waikoloa, Big Island, HI, USA. pp. 262. http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.499