Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
scientific article; zbMATH DE number 5666997
scientific article