Neil Grant, Neil Evans. Towards the Formal Verification of a Java Processor in Event-B. In Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch, editors, The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007. Volume 65 of Concurrent Systems Engineering Series, pages 425-442, IOS Press, 2007.
Abstract is missing.