Brett Bicknell

According to our database, Brett Bicknell authored at least 1 paper in 2012.

Collaborative distances:

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

2012

A Practical Approach for Closed Systems Formal Verification Using Event-B.

Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012