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)