Author: David Lester
Publications
Publication period start: 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. https://doi.ieeecomputersociety.org/10.1109/HICSS.2007.499