Neil Grant

According to our database, Neil Grant authored at least 3 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Modelling and Refinement in CODA

Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2009

A Step towards Merging xUML and CSP || {\| \ }B.

Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2007

Towards the Formal Verification of a Java Processor in Event-B.

Neil Evans, Neil Grant

Proceedings of the BCS-FACS Refinement Workshop, 2007