263 | -- | 0 | Eerke Boiten, Michael Butler. Guest Editorial Editorial for the FAC Special Issue based on derivative papers from Refine 05 |
264 | -- | 287 | Graeme Smith, John Derrick. Verifying data refinements using a model checker |
288 | -- | 307 | Ana Cavalcanti, Jim Woodcock, Steve Dunne. Angelic nondeterminism in the unifying theories of programming |
308 | -- | 328 | Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne. Tank monitoring: a pAMN case study |
329 | -- | 363 | Moshe Deutsch, Martin C. Henson. An analysis of refinement in an abortive paradigm |
364 | -- | 395 | Martin C. Henson, Moshe Deutsch, Besnik Kajtazi. The specification logic nuZ |