The paper received the best application award.) Extended version in: Yuri Gurevich and Egon Borger, "Evolving Algebras. Mini-Course", Technical Report BRICS-NS-95-4, BRICS, University of Aarhus, July 1995, pp.195--222
Titolo: | A formal method for provably correct composition of a real--life processor out of basic components (The APE100 reverse engineering project) |
Autori interni: | |
Anno del prodotto: | 1995 |
Abstract: | The paper received the best application award.) Extended version in: Yuri Gurevich and Egon Borger, "Evolving Algebras. Mini-Course", Technical Report BRICS-NS-95-4, BRICS, University of Aarhus, July 1995, pp.195--222 |
Handle: | http://hdl.handle.net/11568/25655 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.