Journal: Formal Asp. Comput.

Volume 18, Issue 3

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