Summary-Based Inter-Procedural Analysis via Modular Trace Refinement
From MaRDI portal
Publication:2978543
DOI10.4230/LIPICS.FSTTCS.2014.545zbMATH Open1360.68581OpenAlexW1579191988MaRDI QIDQ2978543
Author name not available (Why is that?)
Publication date: 25 April 2017
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4870/pdf/46.pdf
No records found.
No records found.
This page was built for publication: Summary-Based Inter-Procedural Analysis via Modular Trace Refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2978543)