Formal account of the soundness of RAII for local objects
parent
4d1c32f298
commit
f3780fa74b
Binary file not shown.
Loading…
Reference in New Issue