Document driven certification of computational science and engineering software.

Spencer Smith, Nirmitha Koothoor, Nedialko S. Nedialkov

Browse the full SC paper archive.