Principles of Abstract Interpretation
DOI10.1145/3546953zbMATH Open1522.00134OpenAlexW4296371626MaRDI QIDQ6136751FDOQ6136751
Authors: Reinhard Wilhelm 
Publication date: 31 August 2023
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3546953
General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) External book reviews (00A17) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
This page was built for publication: Principles of Abstract Interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136751)
