Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs
scientific article; zbMATH DE number 6925341