Login / Signup
Raymond G. Nickson
Publication Activity (10 Years)
Years Active: 1992-1994
Publications (10 Years): 0
</>
Publications
</>
Raymond G. Nickson
,
Lindsay J. Groves
Metavariables and Conditional Refinements in the Refinement Calculus.
Refine
(1994)
Lindsay Groves
,
Raymond G. Nickson
,
Mark Utting
A Tactic Driven Refinement Tool.
Refine
(1992)