T. Ohta, N. Matsumara, Y. Itoh, "On Constructing a Tool to Verify Programs for Processors Built in Machines," Software Maintenance and Reengineering, European Conference on, pp. 52, 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98), 1998.

@article{ 10.1109/CSMR.1998.665733,
author = {T. Ohta and N. Matsumara and Y. Itoh},
title = {On Constructing a Tool to Verify Programs for Processors Built in Machines},
journal ={Software Maintenance and Reengineering, European Conference on},
volume = {0},
year = {1998},
isbn = {0-8186-8421-6},
pages = {52},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSMR.1998.665733},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Software Maintenance and Reengineering, European Conference on
TI - On Constructing a Tool to Verify Programs for Processors Built in Machines
SN - 0-8186-8421-6
SP
EP
A1 - T. Ohta,
A1 - N. Matsumara,
A1 - Y. Itoh,
PY - 1998
VL - 0
JA - Software Maintenance and Reengineering, European Conference on
ER -