H. Christensen

发表

Synthesis of Programs from Logic Specifications Using Programming Methodology

H. Christensen, 1993, Struct. Program..

Current State of Knowledge of Water Radiolysis Effects on Spent Nuclear Fuel Corrosion

H. Christensen, H. Christensen, S. Sunder, 2000 .