Stacey Conroy

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Steve Dunne, Stacey Conroy
A Practical Single Refinement Method for B. ABZ (2008)
Steve Dunne, Stacey Conroy
Process Refinement in B. ZB (2005)