Verifying a simple pipelined micropocessor using maude

• Autores: N. A. Harman
• Localización: Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, 2001, ISBN 3-540-43159-4, págs. 128-151
• Idioma: inglés
• Texto completo no disponible (Saber más ...)