Yuichi Nagasawa

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Takahiro Nagai, Takeshi Imanaka, Jun'ichi Toyoda, Tsukasa Hirashima, Kuniaki Uehara, Yuichi Nagasawa
A method for generating program specification from source program - analysis by transforming program structure and argument manipulation. Systems and Computers in Japan 26 (1) (1995)