Ray Nickson (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

7		Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper: Developing Logic Programs from Specifications Using Stepwise Refinement. Program Development in Computational Logic 2004: 66-89
6		Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A Refinement Calculus for Logic Programs CoRR cs.SE/0202002: (2002)
5		Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson: A refinement calculus for logic programs. TPLP 2(4-5): 425-460 (2002)

Selection of 3 from 7 records - Ray Nickson has 16 coauthors