A Formal Verification and Validation of a Low Magnetic Reynolds Number MHD Code for Fusion Applications | IEEE Journals & Magazine | IEEE Xplore