Guest Editorial Editorial for the FAC Special Issue based on derivative papers from “Refine ’05” Eerke BoitenMichael Butler Editorial 17 August 2006 Pages: 263 - 263
Verifying data refinements using a model checker Graeme SmithJohn Derrick Original Article 08 August 2006 Pages: 264 - 287
Angelic nondeterminism in the unifying theories of programming Ana CavalcantiJim WoodcockSteve Dunne Original Article 08 August 2006 Pages: 288 - 307
Tank monitoring: a pAMN case study Steve SchneiderThai Son HoangHelen Treharne Original Paper 09 August 2006 Pages: 308 - 328
An analysis of refinement in an abortive paradigm Moshe DeutschMartin C. Henson Original Article 11 August 2006 Pages: 329 - 363
The specification logic νZ Martin C. HensonMoshe DeutschBesnik Kajtazi Original Article 11 August 2006 Pages: 364 - 395