Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis

From MaRDI portal
Publication:6536280













This page was built for publication: Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536280)