Login / Signup
Eiji Nabika
Publication Activity (10 Years)
Years Active: 1992-1992
Publications (10 Years): 0
</>
Publications
</>
Hiroyuki Seki
,
Tadao Kasami
,
Eiji Nabika
,
Takashi Matsumura
A method for translating natural language program specifications into algebraic specifications.
Systems and Computers in Japan
23 (11) (1992)