Towards Automatic Exception Safety Verification.

Xin Li, H. James Hoover, Piotr Rudnicki

Browse the full FM paper archive.