David Lester

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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