Bo Einarsson, Brian Wichmann, Kenneth W. Dritz, Craig C. Douglas, Hans Petter Langtangen, Van Snyder, Ronald F. Boisvert, Roldan Pozo. 8. General Methods for Implementing Reliable and Correct Software. In Bo Einarsson, editor, Accuracy and Reliability in Scientific Computing. Volume 18 of Software, Environments, Tools, pages 125-171, SIAM, 2005. [doi]
Abstract is missing.