Ziyad Hanna. Abstract Modeling and Formal Verification of Microprocessors. In Volker Diekert, Mikhail V. Volkov, Andrei Voronkov, editors, Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Volume 4649 of Lecture Notes in Computer Science, pages 23, Springer, 2007. [doi]
Abstract is missing.