| |
| 2008 | ||
|---|---|---|
| 2 | EE | Neil Evans, Neil Grant: Towards the Formal Verification of a Java Processor in Event-B. Electr. Notes Theor. Comput. Sci. 201: 45-67 (2008) |
| 2007 | ||
| 1 | Neil Grant, Neil Evans: Towards the Formal Verification of a Java Processor in Event-B. CPA 2007: 425-442 | |
| 1 | Neil Evans | [1] [2] |