Login / Signup
H. Christensen
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
H. Christensen
Synthesis of Programs from Logic Specifications Using Programming Methodology.
Struct. Program.
14 (4) (1993)