Stochastic Formal Methods: An application to accuracy of numeric software (2006)

by Marc Daumas
Citations:3 - 2 self