Computer Science – Mathematical Software
Scientist
Computer Science
Mathematical Software
Scientist
University of Manchester
UNIVERSITY of Manchester
LP2A, University of Manchester
Stochastic Formal Methods for Hybrid Systems
Stochastic Formal Methods: An application to accuracy of numeric software
Verified Real Number Calculations: A Library for Interval Arithmetic
No associations
LandOfFree
David Lester does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with David Lester, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and David Lester will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-148097