Extending Hoare Calculus to Deal with Crash (2006)

First Author: V Bono

Attributed to: Extending Hoare Calculus to Deal with Crash funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ftp://ftp.cs.bham.ac.uk/pub/authors/M.Kerber/TR/CSR-06-08.pdf

Type: Technical Report