Relating Multi-step and Single-Step Microprocessor Correctness Statements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Aagaard, Nancy A. Day, Meng Lou. Relating Multi-step and Single-Step Microprocessor Correctness Statements. In Mark Aagaard, John W. O Leary, editors, Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings. Volume 2517 of Lecture Notes in Computer Science, pages 123-141, Springer, 2002. [doi]

This author has not been identified. Look up 'Mark Aagaard' in GoogleThis author has not been identified. Look up 'Nancy A. Day' in GoogleThis author has not been identified. Look up 'Meng Lou' in Google

runs on WebDSL