Preface to the special issue on Numerical Software: Design, Analysis and Verification

Amparo Gil, Jean-Michel Muller, Javier Segura. Preface to the special issue on Numerical Software: Design, Analysis and Verification. Science of Computer Programming, 90:1, 2014. [doi]

Abstract

Abstract is missing.