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
A formal method for provably correct composition of a real--life processor out of basic components (The APE100 reverse engineering project)
BORGER, EGON;
1995-01-01
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--222File 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.