Numerical Software Verification
2 contributors - Paperback
£44.99
Find out more
Sylvie Boldo Editor
Sylvie Boldo is a Research Director at INRIA in Orsay, France. Guillaume Melquiond is a Researcher at INRIA in Orsay, France.
Sylvie Boldo is a Research Director at INRIA in Orsay, France. Guillaume Melquiond is a Researcher at INRIA in Orsay, France.