A mechanized correctness proof of a pipelined processor architecture

• Autores: Francesc Babot, Miquel Nicolau, Miquel Bertran, August Climent i Ferrer
• Localización: Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 251-264
• Idioma: inglés
• Texto completo no disponible (Saber más ...)