Exception Safety for C#.

K. Rustan M. Leino, Wolfram Schulte

Browse the full SEFM paper archive.