Kelly M. Hall, Phillip J. Windley. Simulating Microprocessors from Formal Specifications. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 507-525, North-Holland/Elsevier, 1992.
@inproceedings{HallW92,
title = {Simulating Microprocessors from Formal Specifications},
author = {Kelly M. Hall and Phillip J. Windley},
year = {1992},
researchr = {https://researchr.org/publication/HallW92},
cites = {0},
citedby = {0},
pages = {507-525},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992},
editor = {Luc J. M. Claesen and Michael J. C. Gordon},
volume = {A-20},
series = {IFIP Transactions},
publisher = {North-Holland/Elsevier},
isbn = {0-444-89880-8},
}