Weiterentwicklung und Einsatz eines automatisierten Verifizierungsverfahrens für Analysesimulatoren : Abschlussbericht / GRS, Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH ; Stefan Wenzel, Simone Palazzo, Joachim Herb, Josef Scheuer, Zhuoqi Du, Hristo Goumnerov