Exception safety for c (2004)

by K Rustan M Leino, W Schulte
Venue:In SEFM