In CHARME 2001, Livingston, Scotland, Sept 4-7, 2001.
Abstract Paper (gzipped postscript) Bibtex entry |
@INPROCEEDINGS{AoCoDaJo01, title={A Framework for Microprocessor Correctness Statements}, booktitle = {Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME)} year = 2001, series={Lecture Notes in Computer Science}, volume = 2144, publisher={Springer} pages = {433--448}, editors = {T. Margaria and T. Melham} }