id: 05674221
dt: s
an: 05674221
au: Boiten, Eerke (ed.); Butler, Michael (ed.); Derrick, John (ed.); Smith,
    Graeme (ed.)
ti: Special issue: Refinement. Papers from the 12th BCS-FACS refinement
    workshop, Oxford, UK, July 2007.
so: Formal Asp. Comput. 22, No. 1, 1-81 (2010).
py: 2010
pu: British Computer Society, London; Springer-Verlag, London
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/s00165-009-0147-2
ab: The articles of this volume will be reviewed individually.
rv: