Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid. Improving certification capability through automatic code generation. In René Jacquart, editor, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. pages 511-520, Kluwer, 2004.
Abstract is missing.