A Network for the Verified Software Repository
UK EPSRC Network (EP/D506735/1)

Grand Challenge 6: Dependable Systems Evolution

Jim Woodcock (The University of York)
Jonathan Bowen (London South Bank University)
Peter O'Hearn (Queen Mark University of London)

Academic secretary: Paul Boca (BCS-FACS)
Administration: Caroline Moore (The University of York)

Duration: 1 September 2005 to 31 August 2008.
See: FM05 Workshop, Newcastle-upon-Tyne, UK, 18 July 2005

4th VSR-net meeting, University of York, 5-6 October 2006


See also

FACS sml logo.jpg
Acknowledgement: The support of the BCS-FACS Specialist Group and the British Computer Society itself in the use of the BCS Offices in Covent Garden, London for meetings is gratefully acknowledged.
Community content is available under CC-BY-SA unless otherwise noted.