Static Analysis
From MaRDI portal
Publication:5897434
DOI10.1007/11547662zbMath1141.68371OpenAlexW4229853237MaRDI QIDQ5897434
Bertrand Jeannet, Denis Gopan, Thomas W. Reps
Publication date: 31 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11547662
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (2)
A zonotopic framework for functional abstractions ⋮ A new abstraction framework for affine transformers
This page was built for publication: Static Analysis
