R. Nickson

A Tactic Driven Refinement Tool

Lindsay Groves, R. Nickson, Mark Utting, 1992, Refine.

An interactive tool for deriving correct programs

Lindsay Groves, R. Nickson, 1992 .

A Tactic Language for Ergo

R. Nickson, Mark Utting, Andrew Martin, 1997 .

of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 A Tool for Logic Program Refinement

R. Nickson, R. Colvin, I. Hayes, 1997 .

Dose-depth and SEU monitors for the STRV-1c satellite

R. Nickson, T. Jones, L. Adams, 1998 .