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.
@inproceedings{GrantE07,
title = {Towards the Formal Verification of a Java Processor in Event-B},
author = {Neil Grant and Neil Evans},
year = {2007},
tags = {Java},
researchr = {https://researchr.org/publication/GrantE07},
cites = {0},
citedby = {0},
pages = {425-442},
booktitle = {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},
editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch},
volume = {65},
series = {Concurrent Systems Engineering Series},
publisher = {IOS Press},
isbn = {978-1-58603-767-3},
}