Authors: NEIL M OSTROLENK G TOBIN M SOUTHWORTH M

Citation: M. Neil et al., LESSONS FROM USING Z TO SPECIFY A SOFTWARE TOOL, IEEE transactions on software engineering, 24(1), 1998, pp. 15-23

Authors: LITTLEWOOD B NEIL M OSTROLENK G

Citation: B. Littlewood et al., THE ROLE OF MODELS IN MANAGING THE UNCERTAINTY OF SOFTWARE-INTENSIVE SYSTEMS, Reliability engineering & systems safety, 50(1), 1995, pp. 87-95