Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Activities
Datasets
Equipment
Prizes
Press / Media
Search by expertise, name or affiliation
Extending Hoare Calculus to Deal with Crash
Kerber, Manfred
(Principal Investigator)
Computer Science
Overview
Project Details
Short title
Extending Hoare Calculus to Deal with Crash
Status
Finished
Effective start/end date
16/07/06
→
15/08/06
Funding
Engineering & Physical Science Research Council
View all
View less
