A Formal Verification and Validation of a Low Magnetic Reynolds Number MHD Code for Fusion Applications | Publicación