Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala. Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. 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 427-447, North-Holland/Elsevier, 1992.
@inproceedings{PanLAK92,
title = {Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit},
author = {Jing Pan and Karl N. Levitt and Myla Archer and Saraswati Kalvala},
year = {1992},
tags = {composition},
researchr = {https://researchr.org/publication/PanLAK92},
cites = {0},
citedby = {0},
pages = {427-447},
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},
}