N. Matsumara

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

1 T. Ohta, N. Matsumara, Y. Itoh: On Constructing a Tool to Verify Programs for Processors Built in Machines. CSMR 1998: 52-59

	1998
1		T. Ohta, N. Matsumara, Y. Itoh: On Constructing a Tool to Verify Programs for Processors Built in Machines. CSMR 1998: 52-59

Coauthor Index