Publications

Print
Del Castillo, Giuseppe; Börger, E.: A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study). Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4), Denmark, 1995, Y. Gurevich and E. Börger (editors)

Bibtex

@techreport{key=CB1995,
author = {Del Castillo, Giuseppe and Börger, E.},
title = {A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)},
type = {Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4)},
institution = {University of Aarhus},
address = {Denmark},
year = {1995},
note = {Y. Gurevich and E. Börger (editors)},
}