Extending Hoare Calculus to Deal with Crash

  • Kerber, Manfred (Principal Investigator)

Project Details

Short titleExtending Hoare Calculus to Deal with Crash
StatusFinished
Effective start/end date16/07/06 → 15/08/06

Funding

  • Engineering & Physical Science Research Council