Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
VSR-Net: A Network for the Verified Software...
Woodcock, Jim
(Principal investigator)
Computer Science
Project
:
Research project (funded)
›
Research
Overview
Project Details
Status
Finished
Effective start/end date
1/10/05
→
30/09/08
Funding
EPSRC:
£62,165.00
View all
View less