Brett Bicknell

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Retrieval Systems

Formal Verification

Symbolic Model Checking

Top Venues

Publications

Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook
A Practical Approach for Closed Systems Formal Verification Using Event-B. SEFM (2012)