N. Matsumara

Publication Activity (10 Years)

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

Publications

T. Ohta, N. Matsumara, Y. Itoh
On Constructing a Tool to Verify Programs for Processors Built in Machines. CSMR (1998)